結果 : solver for integer programming