a = list(map(int,input().split())) print("Yes") if len(set(a)) == 4 and max(a)-min(a)==3 else print("No")