Create Sudoku SAT Solver