from itertools import permutations
A,B,C = list(map(int,input().split()))

for a,b,c in permutations([A,B,C]):
    if(a%1 == 0 and b%2 == 0 and c%3 == 0):
        print("Yes")
        exit()

    if(a%1 == 0 and b%6 == 0 and c%2 == 1 and c > 1):
        print("Yes")
        exit()
    
print("No")

"""

00011
00011
22211
22244
33344
33344

0001122
0001122
3331122
3335566
4445566
4445566
"""