n = sorted([int(x) for x in input().split()])
print("Yes" if len(n) == len(set(n)) and n[0] + 3 == n[3] else "No")