Sudoku solver is able to find naked pairs