Enviar por SMS: SUDOKU ako SAT či Constraint