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

for i in range(len(l)-1):
    if l[i+1]-l[i] != 1:
        print("No")
        break
else:
    print("Yes")