from itertools import permutations a,b,c,d=map(int,input().split()) for p,q,r,s in permutations((a,b,c,d)): if p==q-1 and q==r-1 and r==s-1: print("Yes") exit() print("No")