a = {int(w) for w in input().split()}
print("Yes" if set(range(min(a), min(a)+4)) <= a else "No")