Mincon for sudoku