Title: 1000 Sudoku Puzzles Are Very Difficult