l = list(map(int, input().split()))
m = min(l)
print("Yes" if sorted(l)==[*range(m,m+4)] else "No")