做不出来的话，会受稻田姬的斥责啦

题号：NC252422
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld

题目描述

秋静叶和秋穰子有 $n$ 根木棍，长度分别为 $a_1, \dots, a_n$ ，且没有两根长度相同的木棍。她们想要用其中四根木棍首尾相接搭建一个好的四边形作为笼子来运送二维西瓜。

首先她们希望笼子的形状美观，所以他们希望这个笼子是凸的。其次二维西瓜通常被看作一个圆形，为了使得运送稳固，他们希望存在一个特定大小的二维西瓜，可以放置在笼子里并且同时与笼子的四条边都相切。请问他们是否做到呢？

形式化的，即，判断是否存在 $1 \leq x < y < z < w \leq n$ ，使得存在一个好四边形，其四条边长度分别为 $a_x，a_y，a_z$ 和 $a_w$ 。

其中一个四边形称为好四边形当且仅当这个四边形是凸的并且存在一个圆，这个圆在该四边形的内部并且与这个四边形的四个边都相切。

第一行一个正整数 。
第二行  个正整数 ，保证两两不同。

如果可以搭建一个好的四边形，输出 ，否则输出 。

示例1

复制

4
2 3 5 10

复制

NO

示例2

复制

4
2 6 5 3

复制

YES