import math

a, b, c, d = map(int, input().split())
ss = (2**a)*(3**b)*(5**c)*(7**d)
#print(ss)

fact = [math.factorial(i) for i in range(100)]
fact = fact[::-1]

for i in fact:
    if ss % i == 0:
        ss = ss//i
        #print(ss)

if ss == 1:
    print("YES")
else:
    print("NO")