#CF766B. Mahmoud 与三角形

Mahmoud 与三角形

题目描述

每个测试的时间限制:2 秒
每个测试的内存限制:256 兆字节

Mahmoud 有 nn 条线段,第 ii 条的长度为 aia_i。Ehab 挑战他恰好使用 33 条线段来构成一个非退化三角形。Mahmoud 只有在确定自己能赢的情况下才会接受挑战,所以他请你告诉他是否应该接受这个挑战。给定这些线段的长度,请判断他是否能恰好选择 33 条线段构成一个非退化三角形。

Mahmoud 必须恰好使用 33 条线段,不能拼接两条线段,也不能改变任何长度。非退化三角形是指面积大于零的三角形。

输入格式

第一行包含一个整数 nn3n1053 \le n \le 10^5)—— Mahmoud 拥有的线段数量。

第二行包含 nn 个整数 a1,a2,,ana_1, a_2, \dots, a_n1ai1091 \le a_i \le 10^9)—— 每条线段的长度。

输出格式

如果他能恰好选择 33 条线段构成一个非退化三角形,则输出 "YES",否则输出 "NO"

5
1 5 3 2 4
YES
3
4 1 2
NO

说明

对于第一个示例,他可以选择长度为 2,4,52, 4, 5 的三条线段来构成一个非退化三角形。