param n:=5; set V:={1..n}; var x[V] binary; param c[V]:=<1> 2,<2> 4,<3> 5,<4> 1,<5> 0; param p[V]:=<1> 4,<2> 1,<3> 5,<4> 7,<5> 3; param M:=7; maximize fobj: sum in V: c[i]*x[i]; subto c: sum in V: p[i]*x[i]<=M;