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