#include<bits/stdc++.h>
using namespace std;
typedef long long int ll;

int N, X, Y, Z;
int A[100010];

int main(){
	scanf("%d %d %d %d", &N, &X, &Y, &Z);
	for(int i = 0; i < N; i++){
		scanf("%d", &A[i]);
		A[i]++;
	}
	for(int i = 0; i < N; i++){
		int num = A[i] / 10000;
		if(num <= Z){
			Z -= num;
			A[i] -= num * 10000;
		}
	}
	for(int i = 0; i < N; i++){
		int num = A[i] / 5000;
		if(num <= Y){
			Y -= num;
			A[i] -= num * 5000;
		}
	}
	for(int i = 0; i < N; i++){
		if(A[i] > X * 1000){
			if(Y == 0 && Z == 0){
				printf("No\n");
				return 0;
			}else if(Y == 0){
				Z--;
			}else{
				Y--;
			}
		}else{
			X -= (A[i] % 1000 == 0 ? A[i] / 1000 : A[i] / 1000 + 1);
		}
	}
	printf("Yes\n");
	return 0;
}