#include using namespace std; typedef long long ll; #define rep(i, n) for(ll i = 0, i##_len = (n); i < i##_len; i++) #define reps(i, s, n) for(ll i = (s), i##_len = (n); i < i##_len; i++) #define rrep(i, n) for(ll i = (n) - 1; i >= 0; i--) #define rreps(i, e, n) for(ll i = (n) - 1; i >= (e); i--) #define all(x) (x).begin(), (x).end() #define sz(x) ((ll)(x).size()) #define len(x) ((ll)(x).length()) int main() { cin.tie(0); ios::sync_with_stdio(false); // ifstream in("input.txt"); // cin.rdbuf(in.rdbuf()); ll n, x, y, z; cin >> n >> x >> y >> z; vector a(n); rep(i, n) cin >> a[i]; sort(all(a), greater()); rep(i, n) { while(a[i] > 0) { if ((a[i] > 5000) && (x > 0)) { a[i] -= 10000; x--; } else if ((a[i] > 1000) && (y > 0)) { a[i] -= 5000; y--; } else if (z > 0) { a[i] -= 1000; z--; } else { cout << "No" << endl; return 0; } } } cout << "Yes" << endl; return 0; }