Sudoku solver using minisat