Prevajanje problema SUDOKU na SAT