Correctly solved an ILP using cutting planes