d = list(map(int, input().split()))
ans = any(d[i] % 2 == d[j] % 3 == 0 for i in range(3) for j in range(3) if i != j)
if not ans and d[0] * d[1] * d[2] % 6 == 0:
    for i in range(3):
        if d[i] % 6 == 0:
            d.pop(i)
            break
    x, y = d
    if max(x, y) >= 5: ans = True
print('Yes' if ans else 'No')