#include #include #include #include #include #include #include #include #define rep(i, a, b) for (int i = int(a); i < int(b); i++) using namespace std; using ll = long long int; // NOLINT using P = pair; // clang-format off #ifdef _DEBUG_ #define dump(...) do{ cerr << __LINE__ << ":\t" << #__VA_ARGS__ << " = "; debug_print(__VA_ARGS__); } while(false) template void debug_print(const T &t, const Ts &...ts) { cerr << t; ((cerr << ", " << ts), ...); cerr << endl; } #else #define dump(...) do{ } while(false) #endif template vector make_v(size_t a, T b) { return vector(a, b); } template auto make_v(size_t a, Ts... ts) { return vector(a, make_v(ts...)); } template bool chmin(T &a, const T& b) { if (a > b) {a = b; return true; } return false; } template bool chmax(T &a, const T& b) { if (a < b) {a = b; return true; } return false; } template void print(const T& t, const Ts&... ts) { cout << t; ((cout << ' ' << ts), ...); cout << '\n'; } template void input(Ts&... ts) { (cin >> ... >> ts); } template istream &operator,(istream &in, T &t) { return in >> t; } struct Inf { template constexpr operator T() { return numeric_limits::max() / 2; } }; // clang-format on int main() { cin.tie(nullptr); ios::sync_with_stdio(false); ll n, x, y, z; cin >> n >> x >> y >> z; vector a(n); rep(i, 0, n) cin >> a[i]; rep(i, 0, n) { ll t = a[i] % 1000; a[i] += 1000 - t; } sort(a.begin(), a.end(), [&](ll s, ll t) { return s % 5000 < t % 5000; }); rep(i, 0, n) { ll t = (a[i] % 5000) / 1000; a[i] -= min(t, x) * 1000; x -= min(t, x); } y += x / 5; rep(i, 0, n) { ll t = a[i] % 5000; if (t) { a[i] += 5000 - t; } } sort(a.begin(), a.end(), [&](ll s, ll t) { return s % 10000 < t % 10000; }); rep(i, 0, n) { ll t = (a[i] % 10000) / 5000; a[i] -= min(t, y) * 5000; y -= min(t, y); } z += y / 2; rep(i, 0, n) { ll t = a[i] % 10000; if (t) { a[i] += 10000 - t; } } rep(i, 0, n) { ll t = a[i] / 10000; a[i] -= min(t, z) * 10000; z -= min(t, z); } sort(a.begin(), a.end()); print(a.back() == 0 ? "Yes" : "No"); return 0; }