ABC = list(map(int,input().split()))
ABC.sort()
a,b,c = ABC
if b < 2 or c < 3:
    exit(print('No'))

print('Yes' if (a*b*c)%6==0 else 'No')