a,b,c = map(int,input().split())
PROD = a*b*c
MAX = max((a,b,c))
print(("Yes" if PROD > 6 or MAX == 3 else "No") if PROD % 6 == 0 else "No")