Prevajanje na SAT - sudoku

Implementacija prevajanja sudoku problema na sat KONČANA - upam da tudi
pravilno :)