#include <bits/stdc++.h>

using namespace std;
#define _overload3(_1,_2,_3,name,...) name
#define _rep(i,n) repi(i,0,n)
#define repi(i,a,b) for(int i=int(a);i<int(b);++i)
#define rep(...) _overload3(__VA_ARGS__,repi,_rep,)(__VA_ARGS__)

typedef long long ll;
typedef pair<ll, ll> P;
const ll INF = 1LL<<60;

ll gcd(ll a, ll b) {
  if(b == 0) return a;
  return gcd(b, a % b);
}

template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; }
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; }

ll modpow(ll a, ll n, ll mod) {
  ll res = 1;
  while (n > 0) {
    if (n & 1) res = res * a % mod;
    a = a * a % mod;
    n >>= 1;
  }
  return res;
}

int main(){
  cin.tie(0);
  ios::sync_with_stdio(false);

  int N;
  ll X, Y, Z;
  cin >> N >> X >> Y >> Z;

  vector<ll> A(N);

  rep(i, N) cin >> A[i];

  sort(A.begin(), A.end());

  rep(i, N){

    ll gaku = A[i];

    if(gaku >= 5000){
      
      ll cnt_Z = min((gaku / 10000) + 1, Z);

      gaku -= 10000 * cnt_Z;

      Z -= cnt_Z;

    }

    if(gaku < 0) continue;

    if(gaku >= 1000){

      ll cnt_Y = min(gaku / 5000 + 1, Y);

      gaku -= 5000 * cnt_Y;

      Y -= cnt_Y;

    }

    if(gaku < 0) continue;

    ll cnt_X = min(gaku/1000 + 1, X);

    gaku -= 1000 * cnt_X;

    X -= cnt_X;

    if(gaku < 0) continue;
    
    // ll cnt_Y = min(gaku / 5000 + 1, Y);

    // gaku -= 5000 * cnt_Y;
    
    // Y -= cnt_Y;

    // if(gaku < 0) continue;

    // ll cnt_Z = min(gaku / 10000 + 1, Z);

    // gaku -= 10000 * cnt_Z;
    
    // Z -= cnt_Z;

    // if(gaku < 0) continue;

    cout << "No" << endl;
    return 0;
  
  }

  cout << "Yes" << endl;



  return 0;
}