bug fix MipChecker to test for feasibility correctly.