[math-fun] Solvable sudoku?