Proc sudoku (sol[1..9, 1..9] de 0..9)