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

print("Yes" if ABC[0]*ABC[1]*ABC[2]%6 == 0 and ABC[0]*ABC[1]*ABC[2] != max(ABC) else "No")