[math-fun] Sudoku, minimal number of clues