Ac3 sudoku solver. .