import sys
readline=sys.stdin.readline

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