#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]; a[i]++; } auto solve = [&](ll m, ll &v) { sort(a.rbegin(), a.rend()); rep(i, 0, n) { ll t = a[i] / m; a[i] -= min(t, v) * m; v -= min(t, v); } sort(a.rbegin(), a.rend()); rep(i, 0, n) { if (a[i] && v) { a[i] = 0; v--; } } }; solve(10000, z); solve(5000, y); solve(1000, x); sort(a.rbegin(), a.rend()); print(a[0] == 0 ? "Yes" : "No"); return 0; }