pa=sorted(map(int,input().split()))
if all(b==a+1 for a, b in zip(pa,pa[1:])): print("Yes")
else                                     : print("No")