#include #define rep(i,a,...) for(int i = (a)*(strlen(#__VA_ARGS__)!=0);i<(int)(strlen(#__VA_ARGS__)?__VA_ARGS__:(a));++i) #define per(i,a,...) for(int i = (strlen(#__VA_ARGS__)?__VA_ARGS__:(a))-1;i>=(int)(strlen(#__VA_ARGS__)?(a):0);--i) #define foreach(i, n) for(auto &i:(n)) #define pii pair #define pll pair #define all(x) (x).begin(), (x).end() #define bit(x) (1ll << (x)) using ll = long long; //const ll MOD = (ll)1e9+7; const ll MOD = 998244353; const int INF = (ll)1e9+7; const ll INFLL = (ll)1e18; using namespace std; template using vvector = vector>; template using vvvector = vector>>; template using priority_queuer = priority_queue, greater>; template bool chmax(t &a, u b){if(a bool chmin(t &a, u b){if(a>b){a=b;return true;}return false;} #ifdef DEBUG #define debug(x) cout<<"LINE "<<__LINE__<<": "<<#x<<" = "<>=1; } return res; } ll modinv(ll x){ return modpow(x, MOD-2); } bool was_output = false; template void output(t a){ if(was_output)cout << " "; cout << a; was_output = true; } void outendl(){ was_output = false; cout << endl; } ll in(){ ll res; scanf("%lld", &res); return res; } template istream& operator>>(istream&is, vector&x){ for(auto &i:x)is >> i; return is; } template istream& operator>>(istream&is, pair&x){ is >> x.first >> x.second; return is; } template void in(t&x){ cin >> x; } template void out(t x){ cout << x; } ll clamp(ll x,ll l,ll r){ return max(min(x,r),l); } bool func(){ int n = in(); stack st; vector has(3); int value[]={1000,5000,10000}; rep(i,3){ ll d = in(); if(d)st.emplace(d,value[i]); } priority_queue pq; rep(i,n)pq.push(in()+1); while(pq.size()){ if(st.empty())return false; debug(st.top().first); ll d = pq.top(); pq.pop(); ll use = clamp(d/st.top().second,1,st.top().first); d -= st.top().second * use; if(d>0){ pq.push(d); } if((st.top().first-=use)<=0)st.pop(); } return true; } int main(){ cout << (func()?"Yes":"No") << endl; return 0; }