Добавил примитивную решалку ILP отсечениями (после добавления набора отсечений задача решается с нуля)