Sudoku van donderdag 9 juli, 2020