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