#include 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 vector make_vec(size_t a, T val) { return vector(a, val); } template auto make_vec(size_t a, Ts... ts) { return vector(a, make_vec(ts...)); } using ll = long long; using pii = pair; using pll = pair; using Graph = vector>; template struct edge { int to; T cost; edge(int t, T c) : to(t), cost(c) {} }; template using WGraph = vector>>; 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 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; }