#include using namespace std; #define rep(i,n) for(int i=0;i<(int)(n);i++) #define REP(i,m,n) for(int i=m;i<(int)(n);i++) #define yes "Yes" #define no "No" typedef long long ll; typedef pair pint; string solve(){ int n,x,y,z; cin>>n>>x>>y>>z; priority_queue que; vector a(n);rep(i,n)cin>>a[i]; rep(i,n)que.push(a[i]+1); vector yens={10000,5000,1000}; vectorcnts={z,y,x}; bool flag=true; rep(_,3){ int yen=yens[_]; int cnt =cnts[_]; rep(i,n){ int q = que.top();que.pop(); int use = min(q/yen,cnt); cnt-=use; que.push(q-use*yen); } rep(i,n){ int q= que.top();que.pop(); if(0