#include <bits/stdc++.h> using namespace std; #define rep(i, n) for(int(i) = 0; (i) < (n); (i)++) #define FOR(i, m, n) for(int(i) = (m); (i) < (n); (i)++) #define All(v) (v).begin(), (v).end() #define pb push_back #define MP(a, b) make_pair((a), (b)) template <class T> vector<T> make_vec(size_t a, T val) { return vector<T>(a, val); } template <class... Ts> auto make_vec(size_t a, Ts... ts) { return vector<decltype(make_vec(ts...))>(a, make_vec(ts...)); } using ll = long long; using pii = pair<int, int>; using pll = pair<ll, ll>; using Graph = vector<vector<int>>; template <typename T> struct edge { int to; T cost; edge(int t, T c) : to(t), cost(c) {} }; template <typename T> using WGraph = vector<vector<edge<T>>>; const int INF = 1 << 30; const ll LINF = 1LL << 60; const int MOD = 1e9 + 7; int main() { ll N, X, Y, Z; cin >> N >> X >> Y >> Z; vector<ll> A(N); rep(i, N) cin >> A[i]; rep(i, N) { ll num = min(Z, A[i] / 10000); A[i] -= 10000 * num; Z -= num; } sort(All(A)); reverse(All(A)); for(int i = 0; (i < N) && Z; i++) { if(A[i] >= 0) { A[i] -= 10000; Z--; } } rep(i, N) { if(A[i] > 0) { ll num = min(Y, A[i] / 5000); A[i] -= 5000 * num; Y -= num; } } sort(All(A)); reverse(All(A)); for(int i = 0; (i < N) && Y; i++) { if(A[i] >= 0) { A[i] -= 5000; Y--; } } rep(i, N) { if(A[i] >= 0) { ll num = min(X, A[i] / 1000 + 1); A[i] -= 1000 * num; X -= num; } } bool f = 1; rep(i, N) { if(A[i] >= 0) f = 0; } cout << (f ? "Yes" : "No") << endl; }