Text this: SUDOKU ako SAT či Constraint