题目描述

在原神游戏中，通过消耗原石或祈愿凭证，获得角色或武器的方式。原神的抽卡机制有以下特点:

• 每抽十发必定获得至少一个四星及其以上的物品，物品可能是角色或武器，可能有多个四星或五星，但不会全是三星。

小 Z 现在抽了十发，请帮他鉴定一下他玩的是不是真原神。

输入格式

第一行包含十个整数 $a_1,a_2,a_3 \cdots a_9,a_{10}$，分别表示小 Z 抽出的物品星级。

输出格式

若为合法的抽卡结果请输出 YES，否则输出 NO。

样例

3 3 3 3 3 3 3 3 3 3

NO

样例 1 解释

十次抽卡中没有一个四星，故小 Z 玩的是假原神，输出 NO。

3 3 3 3 3 3 3 3 3 4

YES

样例 2 解释

十次抽卡中出现了一个四星，故小 Z 玩的是真原神，输出 YES。

数据范围

对于 $100\%$ 的数据保证：$1 \le a_i \le 6$。