I = list(map(int, input().split()))
I.sort()
for i, j in enumerate(I):
    if i == 0:
        continue
    else:
        if j == I[0] + i:
            continue
        else:
            print("No")
            break
else:
    print("Yes")