A, B, C = map(int, input().split())
print("Yes" if (A * B * C) % 6 == 0 and (A * B * C) >= 12 else "No")