const int k;

<<requester1>> R{"cost"}min=? [ F (ps1+nps1=k)&x1>0 ]

<<requester1>> R{"cost2"}min=? [ F (ps1+nps1=k)&x1>0 ]