const int k;

<<requester1>> R{"nopayed"}max=? [ Fc (ps1+nps1=k&x1>0) ]