L = [int(l) for l in input().split()]
L.sort()
ans = "Yes"
for i in range(1, len(L)):
    if L[i] != L[0] + i:
        ans = "No"

print(ans)