weights([30,20,50]).
values([90,70,20]).
demands([12,7,15]).