How to Solve Difficult Sudoku Puzzles: Even the World's Hardest