a = list(map(int, input().split()))
a = sorted(a)
if a == [a[0], a[0] + 1, a[0] + 2, a[0] + 3]:
    print("Yes")
else:
    print("No")