题目描述

礼堂座位编号从小到大排在一张表里。给定编号 $x$，存在输出 YES，否则输出 NO。

输入格式

输入格式见题目描述。

输出格式

输出见题目描述。

4 18
6 10 18 21

YES

数据规模与约定

对于 $100\%$ 的数据，输入规模不超过 $10^5$。