import sys
readline = sys.stdin.buffer.readline
def even(n): return 1 if n%2==0 else 0

n,sen,gosen,man = map(int,readline().split())
lst1 = list(map(int,readline().split()))

lst1.sort(reverse=True)
for i in range(len(lst1)):
    lst1[i] += 1 #lst1[i]+1円を支払う必要がある
i = 0
l = len(lst1)
while True:
    if i >= l:
        break
    if lst1[i] < 10000:
        break
    else:
        if man > 0:
            mai = min(man,lst1[i]//10000)
            lst1[i] -= mai*10000
            man -= mai
    i += 1
        

lst1.sort(reverse=True)
if man:
    lst1 = lst1[man:]

i = 0
l = len(lst1)
while True:
    if i >= l:
        break
    if lst1[i] < 5000:
        break
    else:
        if gosen > 0:
            mai = min(gosen,lst1[i]//5000)
            lst1[i] -= 5000*mai
            gosen -= mai
    i += 1

lst1.sort(reverse=True)
if gosen:
    lst1 = lst1[gosen:]

need = 0
for i in lst1:
    need += (i+1000-1)//1000

if sen >= need:
    print("Yes")
else:
    print("No")