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