implemented sudoku; Faster reasoning by constrain sorting (follow variable with greatest immediate reduction first)