k1, k2, k3 = map(int, input().split())
if k1 == 1 or k2 == 1 or k3 == 1:
    print('yes')
elif k1 == k2 == 2 or k1 == k3 == 2 or k2 == k3 == 2:
    print('yes')
elif k1 == k2 == k3 == 3:
    print('yes')
elif (k1 == k2 == 4 and k3 == 2) or (k1 == k3 == 4 and k2 == 2) or (k2 == k3 == 4 and k1 == 2):
    print('yes')
else:
    print('no')