Popravljena napaka v dpll-vstavljanje (Janoš je car=)) Zdaj bi moral
delat sudoku 9*9.