結果 : mixed integer quadratic programming solver