#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define REP(i,m,n) for(int i=m;i<(int)(n);i++)
typedef long long ll;
typedef pair<ll,ll> pint;
int main(){
    ll n,x,y,z;
    cin>>n>>x>>y>>z;
    vector<ll> a(n);rep(i,n)cin>>a[i];
    sort(a.begin(),a.end());
    bool flag=true;
    rep(i,n){
        ll b = a[i];
        ll c = b/1000;
        int d =b%1000;
        if(d!=0||d==0){
            if(10<=c&&0<z){
                int b1=c/10;
                if(z<b1){
                    c=c-10*z;
                    z=0;
                }
                else{
                    z-=b1;
                    c=c-10*b1;
                }
            }
            if(5<=c&&0<y){
                int b2=c/5;
                if(y<b2){
                    c=c-5*y;
                    y=0;
                }
                else{
                    y-=b2;
                    c=c-5*b2;
                }
            }
            if(0<=c&&0<x){
                int b3=c;
                if(x<b3){
                    cout<<"No"<<endl;
                    flag=false;
                }
                else{
                    x-=c;
                    c=0;
                }
            }
            if(0<x){
                x-=1;
            }
            else if(0<y){
                y-=1;
            }
            else if(0<z){
                z-=1;
            }
            else{
                cout<<"No"<<endl;
                flag=false;
            }
        }
        }
    if(flag){
        cout<<"Yes"<<endl;
        //cout<<x<<y<<z<<endl;
    }
}