結果 : solving integer programming