結果 : integer programming problem formulation