return InfeasibleOrUnbounded when appropriate