#include<bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
using mint=modint998244353; //1000000007;
using ll=long long;
using pp=pair<int,int>;
#define sr string 
#define vc vector
#define fi first
#define se second
#define rep(i,n) for(int i=0;i<(int)n;i++)
#define pb push_back
#define all(v) v.begin(),v.end()
#define pque priority_queue
#define bpc(a) __builtin_popcount(a)
int main(){
  ll n; cin>>n;
  vc<ll>v(3); rep(i,3)cin>>v[i];
  vc<ll>x={1000,5000,10000};
  vc<ll>t(n); rep(i,n)cin>>t[i];
  rep(i,n)t[i]++;
  for(ll i=2;i>=0;i--){
    ll a=x[i],b=v[i];
    rep(j,n){
      ll d=t[j]/a;
      d=min(d,b);
      b-=d;
      t[j]-=a*d;
    }
    sort(all(t)); reverse(all(t));
    rep(j,min(n,b))t[j]=0;
    //rep(j,n)cout<<t[j]<<"\n";
  }
  bool ok=true;
  rep(i,n)if(t[i]>0)ok=false;
  if(ok)cout<<"Yes";
  else cout<<"No";
}