model:sets:set/1..6/:m,n,s,c;endsetsdata:c=4 6 7 4 6 2;enddatas(1)=2;min=@sum(set:100*m+160*n+200*(s+m-c));@for(set: m<=3; n<=(s+m)/3; c-(s+m)<=(s+m)/4);end