L = sorted(list(map(int,input().split())))
if L[0]+3 == L[1]+2 == L[2]+1 == L[3]:
    print("Yes")
else:
    print("No")