N,X,Y,Z=map(int, input().split())
*A,=map(lambda x:1+int(x)//1000, input().split())

ans = True
for i in range(N):
    d = min(Z, A[i] // 10)
    Z -= d
    A[i] -= 10 * d
A.sort(reverse=True)
for i in range(N):
    if Z <= 0: break
    Z -= 1
    A[i] -= 10
for i in range(N):
    if A[i] <= 0: continue
    d = min(Y, A[i] // 5)
    Y -= d
    A[i] -= 5 * d
A.sort(reverse=True)
for i in range(N):
    if Y <= 0: break
    Y -= 1
    A[i] -= 5
for i in range(N):
    if A[i] <= 0: continue
    d = min(X, A[i])
    X -= d
    A[i] -= d
A.sort(reverse=True)
for i in range(N):
    if X <= 0:
        if A[i] > 0:
            ans = False
        break
    X -= 1
    A[i] -= 1

print('Yes' if ans else 'No')