# Un Sudoku 9x9
sudoku:={x[1,1]-5,x[2,2]-9,x[3,1]-4,x[3,3]-7,x[1,5]-8,x[2,6]-5,x[3,4]-1,x[1,8]-4,x[2,7]-7,x[2,8]-1,x[6,1]-9,x[6,3]-8,x[4,5]-3,x[5,5]-6,x[4,9]-4,x[5,8]-7,x[6,7]-3,x[6,9]-6,x[7,3]-9,x[8,2]-4,x[9,3]-3,x[7,6]-8,x[8,5]-7,x[9,4]-4,x[9,5]-1,x[9,6]-6,x[8,7]-5,x[9,7]-9,x[9,8]-8};