Sudoku SatSolver