Solving Sudoku Puzzles Smartly: Using sudokuTutor