explained variable ordering heuristic