a = list(map(int, input().split()))

a.sort()

if a[0] + 1 == a[1] and a[1] + 1 == a[2] and a[2] + 1 == a[3]:
    print("Yes")
else:
    print("No")