9x9 Sudoku is kinda-sorta working. Need to use a different predicate for uniqueness.