输入描述:

第一行一个  表示序列长度，接下来一行  个数，第  个为 ，表示序列中的第  个数。

。

输出描述:

一行一个字符串。"YES"表示可能重新排列这个序列使得所有长度小于等于  的子区间和不等于 ，反之则输出“NO”。输出不含引号。