add invariant in sudoku_hint