num = list(map(int, input.split())) num.sort() d = num[0] ans = 'Yes' for id in range(3): d += 1 if d != num[id + 1]: ans = 'No' print(ans)