Title: 1000 Hard Sudoku Puzzles for Real Professionals