lingo求解0-1整数规划

有一系列数据A1,A2,A3,,,,,,,,,A80(已知数），又已知数据B，如何用LINGO求出B是A列数据中的哪几个数据之和?

可用0-1整数规划，由于80个数据太多，我只举个10个数据的例子，求b,c两个数：

令xa(i)=1表示A中第i个数是b的因子，同理，用xb(i)=1表示A中第i个数是c的因子；

程序如下：

  model:
   sets:
    da/1..10/:A,xa,xb;
   endsets
   data:
    A=1 5 7 8 9 10 13 18 85 93;
    b=6;
    c=178;
   enddata
   b=@sum(da(i):xa(i)*A(i));
   c=@sum(da(i):xb(i)*A(i));
   @for(da(i):@bin(xa(i)););
   @for(da(i):@bin(xb(i)););
end