#include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define REP(i,n) for(int i=0;i<(int)(n);i++) #define RREP(i,n) for(int i=n-1;i>=0;i--) #define FOR(i,k,n) for(int i=(k);i<(int)(n);i++) #define all(i,n) (i),(i+n) int dx4[4]={1,0,-1,0}; int dy4[4]={0,-1,0,1}; int dx8[8]={1,0,-1,1,-1,1,0,-1}; int dy8[8]={1,1,1,0,0,-1,-1,-1}; int dx9[9]={0,1,0,-1,1,-1,1,0,-1}; int dy9[9]={0,1,1,1,0,0,-1,-1,-1}; typedef pair P; typedef pair SP; typedef long long ll; typedef pair PLL; const int INF = 1e9; const ll LLINF = 1e18; const int MAX_V = 1e6+1; const ll mod = 1000000007; // -------------------------------------- int n, x, y, z; int a[100005]; int main() { cin.tie(0); ios::sync_with_stdio(false); cin >> n >> x >> y >> z; priority_queue que; REP(i, n) { int a; cin >> a; if(a % 1000 == 0 || a % 5000 == 0 || a % 10000 == 0) a++; que.push(a); } while(!que.empty() && (x != 0 || y != 0 || z != 0)) { int p = que.top(); que.pop(); // cout << p << " " << z << " " << y << " " << x << endl; if(z > 0) { if(p < 10000) z--; else { int t = min(p / 10000, z); z -= t; if(p - t > 0) que.push(p - t * 10000); } } else if(y > 0) { if(p < 5000) y--; else { int t = min(p / 5000, y); y -= t; if(p - t > 0) que.push(p - t * 5000); } } else if(x > 0) { if(p < 1000) x--; else { int t = min(p / 1000, x); x -= t; if(p - t > 0) que.push(p - t * 1000); } } } cout << (que.empty() ? "Yes" : "No") << endl; }