a = list(map(int, input().split()))
a.sort()
for i in range(len(a) - 1):
    if a[i] + 1 != a[i + 1]:
        print('No')
        exit()
        
print('Yes')