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)

i = 0
l = len(lst1)
while True:
    if i >= l:
        break
    res = lst1[i] + 1
    if res < 10000:
        break
    else:
        if man > 0:
            mai = min(man,res//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
    res = lst1[i]+1
    if res < 5000:
        break
    else:
        if gosen > 0:
            lst1[i] -= 5000
            gosen -= 1
    i += 1

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

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

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