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