Corrected mtz constraint
Corrected mtz strengthening constraint