Hard Sudoku of day 2023/06/01