a=sorted(list(map(int,input().split())))
for i in range(3):
    if a[i]+1!=a[i+1]:
        print("No")
        exit()
print("Yes")