l=list(map(int,input().split()))
l.sort()
print('Yes' if l[3]-l[2]==l[2]-l[1]==l[1]-l[0]==1 else 'No')