ABC = list(map(int,input().split()))

from itertools import permutations
for ptn in permutations(range(1,4)):
    ok = True
    for a,p in zip(ABC,ptn):
        if a%p: ok = False
    if ok:
        exit(print('Yes'))

print('No')