Title: Hoffman's Hard Sudoku