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