N, X, Y, Z = map(int, input().split()) *A, = map(int, input().split()) A.sort(reverse=True) for i in range(N): z = min(Z, (A[i] - 1) // 10000) A[i] -= z * 10000 Z -= z A.sort(reverse=True) for i in range(N): if Z == 0: break if A[i] == 0: break if A[i] == 10000: if X > 0: X -= 1 elif Y > 0: Y -= 1 elif Z >= 2: Z -= 1 else: print('No') exit() A[i] = 0 Z -= 1 A.sort(reverse=True) for i in range(N): if A[i] == 0: break y = min(Y, (A[i] - 1) // 5000) A[i] -= y * 5000 Y -= y A.sort(reverse=True) for i in range(N): if Y == 0: break if A[i] == 0: break if A[i] == 5000: if X > 0: X -= 1 elif Y >= 2: Y -= 1 else: print('No') exit() A[i] = 0 Y -= 1 for i in range(N): if A[i] == 0: continue x = A[i] // 1000 + 1 if x > X: print('No') exit() X -= x print('Yes')