a, b, c, d = sorted(map(int, input().split()))
print("Yes" if a + 1 == b and b + 1 == c and c + 1 == d else "No")