Branch_and_cut