more progress with sudoku constraints