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