x = sorted(list(map(int, input().split())))
for i in range(1, 4):
    if x[i] - x[i - 1] != 1:
        print("No")
        break
else:
    print("Yes")