#include using namespace std; #define REP(i,a,n) for(int i=(a); i<(int)(n); i++) #define rep(i,n) REP(i,0,n) #define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it) #define ALLOF(c) (c).begin(), (c).end() typedef long long ll; typedef unsigned long long ull; int main(){ ll N, X, Y, Z; cin >> N >> X >> Y >> Z; vector v; rep(i,N){ ll a; cin >> a; a++; v.push_back(a); } rep(i,N){ if(v[i]>=10000){ ll x = v[i]/10000; ll y = min(x, Z); Z -= y; v[i] -= 10000 * y; } } if(Z > 0){ sort(ALLOF(v),[](const ll& x, const ll& y){ return x > y; }); rep(i,N){ if(Z>0){ Z--; v[i] = 0; } } } rep(i,N){ if(v[i]>=5000){ ll x = v[i]/5000; ll y = min(x, Y); Y -= y; v[i] -= 5000 * y; } } if(Y > 0){ sort(ALLOF(v),[](const ll& x, const ll& y){ return x > y; }); rep(i,N){ if(Y>0){ Y--; v[i] = 0; } } } rep(i,N){ ll x = (v[i]+999)/1000; ll y = min(x, X); X -= y; v[i] -= 1000 * y; v[i] = max(0LL, v[i]); } bool ok = true; rep(i,N){ if(v[i]>0) ok = false; } if(ok) cout << "Yes" << endl; else cout << "No" << endl; return 0; }