結果 : binary integer linear programming problem