Problem is in cutting planes