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