結果 : integer programming formulation problems