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

for i in range(3):
    if nums[i] != nums[i+1] - 1:
        print('No')
        exit()
print('Yes')