A,B,C,D=sorted(map(int,input().split()))
print("Yes" if A+1==B and B+1==C and C+1==D else "No")