A,B,C,D = map(int,input().split())
box = [A,B,C,D]
box.sort()

if box[1]-box[0]==1 and box[2]-box[1]==1 and box[3]-box[2]==1:
    print("Yes")
else:
    print("No")