A = list(map(int, input().split()))
A.sort()
if A[1] == 1:
    print("No")
elif not A[0]*A[1]*A[2] % 6:
    print("Yes")
else:
    print("No")