LP and MIP minor corrections, not working reliably