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

l.sort()

#print(l)

for i in range(3):
    if l[i+1]-l[i]!=1:
        print("No")
        exit()

print("Yes")