#include using namespace std; typedef long long ll; //#include //typedef boost::multiprecision::cpp_ll ll; typedef long double dd; #define i_7 (ll)(1E9+7) //#define i_7 998244353 #define i_5 i_7-2 ll mod(ll a){ ll c=a%i_7; if(c>=0)return c; return c+i_7; } typedef pair l_l; ll inf=(ll)1E16; #define rep(i,l,r) for(ll i=l;i<=r;i++) #define pb push_back ll max(ll a,ll b){if(ab)return b;else return a;} void Max(ll &pos,ll val){pos=max(pos,val);}//Max(dp[n],dp[n-1]); void Min(ll &pos,ll val){pos=min(pos,val);} void Add(ll &pos,ll val){pos=mod(pos+val);} dd EPS=1E-9; string alp="abcdefghijklmnopqrstuvwxyz"; #define endl "\n" #define fastio ios::sync_with_stdio(false); cin.tie(0); cout.tie(0); bool comp(ll i,ll j){ return i%5>n>>x>>y>>z; ll a[n];rep(i,0,n-1)cin>>a[i]; ll c[n]; rep(i,0,n-1){ c[i]=(a[i])/1000+1; } sort(c,c+n,comp); for(ll i=0;i0;i++){ if(c[i]%5==0)continue; if(c[i]%5<=x){ x-=c[i]%5; c[i]-=c[i]%5; }else{ break; } } if(x>0){ y+=x/5; for(ll i=0;i0;i++){ if(c[i]%10==5){ y-=1; c[i]-=5; } } z+=y/2; ll sum=0; rep(i,0,n-1){ sum+=(c[i]+9)/10; } if(sum>z){ cout<<"No"<0;i++){ if(c[i]%10==0)continue; if(c[i]%10<=y*5){ if(c[i]%10<=5){ y-=1; c[i]-=5; }else{ y-=2; c[i]-=10; } }else{ break; } } z+=y/2; ll sum=0; rep(i,0,n-1){ sum+=(c[i]+9)/10; } if(sum>z){ cout<<"No"<