a=list(map(int,input().split()))
M=max(a)
m=min(a)
if M-m==3 and M-1 in a and m+1 in a:print("Yes")
else:print("No")