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

nums.sort()

bl = True
for e1, e2 in zip(nums, nums[1:]):
    if e2 - e1 == 1:
        continue

    bl = False

print("Yes" if bl else "No")