import sys
input = sys.stdin.readline

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

A.sort()
if A[1]<=1:
    print("No")
else:
    score=A[0]*A[1]*A[2]

    if score%6==0:
        print("Yes")
    else:
        print("No")