n=sorted(map(int,input().split()))
for i in range(1,len(n)):
    if n[i]-n[i-1]!=1:
        print('No')
        break
else:
    print('Yes')