利用Lingo解一个具体的整数规划例子