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