#include "bits/stdc++.h"
using namespace std;
#define int long long
#define FOR(i, a, b) for(int i=(a);i<(b);i++)
#define RFOR(i, a, b) for(int i=(b-1);i>=(a);i--)
#define REP(i, n) for(int i=0; i<(n); i++)
#define RREP(i, n) for(int i=(n-1); i>=0; i--)
#define REP1(i, n) for(int i=1; i<=(n); i++)
#define RREP1(i, n) for(int i=(n); i>=1; i--)
#define ALL(a) (a).begin(),(a).end()
#define UNIQUE_SORT(l) sort(ALL(l)); l.erase(unique(ALL(l)), l.end());
#define CONTAIN(a, b) find(ALL(a), (b)) != (a).end()
#define out(...) printf(__VA_ARGS__)
#if DEBUG
#define debug(...) printf(__VA_ARGS__)
#else
#define debug(...) /* ... */
#endif

void solve();
signed main()
{
#if DEBUG
    std::ifstream in("input.txt");
    std::cin.rdbuf(in.rdbuf());
#endif
    cin.tie(0);
    ios::sync_with_stdio(false);
    solve();
    return 0;
}

/*================================*/
#if DEBUG
#define SIZE 100
#else
#define SIZE 123450
#endif

int N,X,Y,Z;
int A[SIZE];

void solve() {
    cin>>N>>X>>Y>>Z;
    REP(i,N)cin>>A[i];
    REP(i,N) {
        int man = min(A[i]/10000, Z);
        Z -= man;
        A[i] -= man*10000;
    }
    REP(i,N) {
        int gosen = min(A[i]/5000, Y);
        Y -= gosen;
        A[i] -= gosen*5000;
    }
    sort(A,A+N);
    reverse(A,A+N);
    REP(i,N) {
        while(Z && A[i]>=0) {
            Z--;
            A[i] -= 10000;
        }
        while(Y && A[i]>=0) {
            Y--;
            A[i] -= 5000;
        }
        if (A[i] >= 0) {
            int sen = (A[i]+1000)/1000;
            X -= sen;
        }
    }
    if (X+Y+Z>=0) {
        cout << "Yes" << endl;
    }else {
        cout << "No" << endl;
    }
}