結果 : binary integer programming problem