Title: Hard Sudoku 2023