結果 : integer linear optimization problem