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

if __name__ == '__main__':
  main()