#include <bits/stdc++.h>
using namespace std;

template<typename T>
void fin(T a){
  cout<<a<<endl;
  exit(0);
}
typedef pair<int,int> P;

signed main(){
  int n,x,y,z;cin>>n>>x>>y>>z;
  vector<int> v(n);
  for(int i=0;i<n;i++)cin>>v[i];
  sort(v.rbegin(),v.rend());
  for(int i=0;i<n;i++){
    int a=min(v[i]/10000,x);
    v[i]-=a*10000;if(v[i]<0)v[i]=0;
    x-=a;
  }
  if(x){
    vector<P> w(n);
    for(int i=0;i<n;i++)w[i]=P(v[i]%10000,v[i]);
    sort(w.rbegin(),w.rend());
    for(int i=0;i<n;i++)if(x)x--,w[i].second=0;
    for(int i=0;i<n;i++)v[i]=w[i].second;
  }

  sort(v.rbegin(),v.rend());
  for(int i=0;i<n;i++){
    int a=min(v[i]/5000,y);
    v[i]-=a*5000;if(v[i]<0)v[i]=0;
    y-=a;
  }
  if(y){
    vector<P> w(n);
    for(int i=0;i<n;i++)w[i]=P(v[i]%5000,v[i]);
    sort(w.rbegin(),w.rend());
    for(int i=0;i<n;i++)if(y)y--,w[i].second=0;
    for(int i=0;i<n;i++)v[i]=w[i].second;
  }

  sort(v.rbegin(),v.rend());
  for(int i=0;i<n;i++){
    int a=min(v[i]/1000,z);
    v[i]-=a*1000;if(v[i]<0)v[i]=0;
    z-=a;
  }
  if(z){
    vector<P> w(n);
    for(int i=0;i<n;i++)w[i]=P(v[i]%1000,v[i]);
    sort(w.rbegin(),w.rend());
    for(int i=0;i<n;i++)if(z)z--,w[i].second=0;
    for(int i=0;i<n;i++)v[i]=w[i].second;
  }
  for(int i=0;i<n;i++)if(v[i])fin("No");
  fin("Yes");
}