a,b,c,d=map(int,input().split())
tmp=[]
tmp.append(a)
tmp.append(b)
tmp.append(c)
tmp.append(d)
tmp.sort()
if tmp[0]+3==tmp[1]+2==tmp[2]+1==tmp[3]:
    print("Yes")
else:
    print("No")