Title: Mastering Hard Sudoku Puzzles