Sudoku-Solver using cnf