Sudoku (finished, minimal encoding).