[math-fun] a difficult sudoku