// #define _GLIBCXX_DEBUG #include using namespace std; #define int long long #define all(x) (x).begin(), (x).end() #define rall(x) (x).rbegin(), (x).rend() #define rep(i, n) for (int i = 0; i < n; ++i) #define REP(i, n) for (int i = 0; i < n; ++i) #define range(i,a,b) ((a)<=(i) && (i)<(b)) #define debug(x) cout << #x << ' ' << '=' << ' ' << (x) << endl; #define fs first #define sc second #define pb push_back #define eb emplace_back typedef long long ll; typedef pair P; typedef tuple T; typedef vector vec; typedef vector

pvec; typedef vector> vvec; typedef vector> pvvec; typedef priority_queue PQI; typedef priority_queue

PQP; typedef priority_queue,greater> PQIG; typedef priority_queue,greater

> PQPG; const vector dx = {0, -1, 0, 1, 1, 1, -1, -1}; const vector dy = {1, 0, -1, 0, 1, -1, 1, -1}; constexpr int MOD = (1000000007); // const int MOD = (998244353); // const int INF = (1 << 30); // 1073741824 const int INF = (1LL << 60); // 1152921504606846976 const double EPS = (1 >> 30); template inline bool chmin(T& a, T b) {if (a > b) {a = b; return 1;} return 0;} template inline bool chmax(T& a, T b) {if (a < b) {a = b; return 1;} return 0;} template< typename T1, typename T2 > istream &operator>>(istream &is, pair< T1, T2 > &p) { is >> p.first >> p.second; return is; } int nmax=200000; // 2*(10^5) vvec g(nmax); signed main() { ios::sync_with_stdio(false); cin.tie(0); cout << fixed << setprecision(15); //--------------------------------------------- int n,x,y,z; cin>>n>>x>>y>>z; vector a(n); REP(i,n) cin >> a[i]; int ng=0; rep(i,n){ int memo=a[i]/1000+1; a[i]=memo*1000; } // true; rep(i,n) cout<=0){ x-=memo; a[i]-=memo*1000; } } y+=x/5; rep(i,n){ int kiriage=(a[i]+5000-1)/5000; a[i]=kiriage*5000; } //true; rep(i,n) cout<=0){ y-=memo; a[i]-=memo*5000; } } z+=y/2; rep(i,n){ int kiriage=(a[i]+10000-1)/10000; a[i]=kiriage*10000; } // true; rep(i,n) cout<=0){ z-=memo; a[i]=0; } else{ ng++; } } if(ng==0){ cout<<"Yes"<