123. MODELS MUST BE EITHER INFEASIBLE OR UNBOUNDED IN ORDER TO BE DEBUGGED.

Debugging is permitted only on models that are either infeasible or unbounded.