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