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()))

lst2 = []
lst3 = []

for i in lst1:
    i = i+1
    lst2.append(i//10000)
    lst3.append(i%10000)

#lst2の処理
for i in lst2:
    if i > 0 and man >= 1:
        res = min(man,i)
        man -= res
        i -= res
    
    if i > 0 and gosen >= 2:
        res = min(gosen,i*2)
        gosen -= res
        i -= res//2
    
    if i > 0 and sen >= 10:
        res = min(sen,i*10)
        sen -= res
        i -= res//10

    if i > 0:
        print("No")
        exit()

#lst3の処理
#lst3が1000の場合、1000を支払えばよいが、1001の場合は2000必要
lst3.sort(reverse=True)
thresh = 0
while man:
    man -= 1
    thresh += 1

if thresh >= len(lst3):
    print("Yes")
    exit()

lst3 = lst3[thresh:]
for i in lst3:
    if i >= 5000 and gosen >= 1:
        res = 1
        gosen -= res
        i -= res*5000
    if i > 0 and sen >= 1:
        for j in range(10):
            if i <= j*1000:
                res = j
                break
        if sen >= res:
            sen -= res
            i -= res*1000
    
    if i > 0 and gosen >= 1:
        res = 1
        gosen -= res
        i -= res*5000

    if i > 0:
        print("No")
        exit()

print("Yes")