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: if 0 < A[i] < 10000: A[i] = 0 Z -= 1 else: if X > 0: A[i] = 0 Z -= 1 X -= 1 elif Y > 0: A[i] = 0 Z -= 1 Y -= 1 A.sort(reverse=True) for i in range(N): 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: if 0 < A[i] < 5000: A[i] = 0 Y -= 1 else: if X > 0: A[i] = 0 Y -= 1 X -= 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')