Added sudoku constraints