const int k;

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