L = sorted(map(int,input().split()))
for a,na in zip(L,L[1:]):
    if na - a != 1:
        print("No")
        exit()
print("Yes")