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

S = []
G = []
M = []

for i in lst1:
    i += 1

    M.append(i//10000)

    res = i%10000

    G.append(res//5000)

    res = i%5000

    S.append((res+1000-1)//1000)
S.sort()
for i in S:
    if sen - i >= 0:
        sen -= i
    else:
        G.append(1)

if sen:
    gosen += sen//5
G.sort()
for i in G:
    if gosen - i >= 0:
        gosen -= i
    else:
        M.append(1)

if gosen:
    man += gosen//2
M.sort()
for i in M:
    if man - i >= 0:
        man -= i
    else:
        print("No")
        exit()
print("Yes")