Ada masalahhh...

minisat akan ngeluarin jg untuk variabel2 lain yg don't care...misalnya
kita masukin clause {10,20,30|
dia bakal ngeluarin dari 1,2,3,4,5,6,...,30 jawabannya...itu blum di
handle..jadi program blom jalan bener