不知如下程序为什么得不到正确的解

守望流星雨

sets:
  trips/1..13/:kinds;
  day/1..90/:a;
  num/1..18/:k;
  b(trips,day):x1;
  cc(trips,num):x,o;
endsets
data:
     kinds=1 2 3 4 5 6 7 8 9 10 11 12 13;
k=1        2        3        4        5        6        7        8        9        10        11        12        13        14        15        16        17        18;
enddata
max=@sum(b(i,j):x1(i,j));
@for(num(i)sum(trips(j):x(j,i))<1);
@for(trips(d)for(num(j)sum(day(i)|(i#le#(5+5*(k(j)-1)))#and#(i#ge#(1+5*(k(j)-1))):x1(d,i))<1));
@for(num(j)sum(trips(d)sum(day(i)|(i#le#(5+5*(k(j)-1)))#and#(i#ge#(1+5*(k(j)-1))):x1(d,i)))=5);
@for(ccbin(x));
@for(bbin(x1));