Sudoku solver in Unicon