def main():
  nums = list(map(int, input().split(' ')))
  if len(set(nums)) < 4:
    print('No')
    return
  if max(nums) - min(nums) == 3:
    print('Yes')
  else:
    print('No')


if __name__ == '__main__':
  main()