(7)) are similar to the LP-MERT constraints (5), although with the addition of slack variables and the ∆ function to handle infeasible solutions.
if a feasible solution is available for MIRA, then these extra quantities are unnecessary.