Hacked branching to branch on infeasible first.