Description

小田桐·维多利亚瞳和小田桐·康拉德友裕正在玩一种卡牌游戏。游戏牌堆中只有点数从 $1$ 到 $13$ 的牌。

维多利亚瞳手中持有若干张牌。接下来，康拉德友裕会打出手牌，可能是以下三种类型之一：

\textbf{​​单牌}:​​ 一张点数为 $x$ 的牌。

​\textbf{​对子}:​​ 两张点数均为 $x$ 的牌。

\textbf{​​炸弹}:​​ 四张点数均为 $x$ 的牌。

游戏的压制规则如下：

当康拉德友裕打出 ​​\textbf{单牌}​​ 时，维多利亚瞳可以打出：

一张点数 ​​严格大于​​ $x$ 的 \textbf{​​单牌}​​，或任意点数的 ​\textbf{​炸弹}​​。

当康拉德友裕打出 ​​\textbf{对子}​​ 时，维多利亚瞳可以打出：

一个点数 ​​严格大于​​ $x$ 的 \textbf{​​对子}​​，或任意点数的 \textbf{​​炸弹}​​。

当康拉德友裕打出 ​​\textbf{炸弹}​​ 时，维多利亚瞳​​只能​​打出点数严格大于​​ $x$ 的 \textbf{​​炸弹}​​。 ​​注意：​​ \textbf{炸弹} 可以压制\textbf{单牌}和\textbf{对子}，但​​不能​​用\textbf{单牌}或\textbf{对子}去压制\textbf{炸弹}。

请你根据康拉德友裕手中的牌，判断维多利亚瞳是否能打出压制的牌。如果可以，输出 "YES"；否则，输出 "NO"。

Format

Input

第一行输入 $13$ 个数字 $a_1,a_2,a_3,....a_{13}$，对于 $1\leq i\leq 13$，$a_i$ 表示维多利亚瞳目前拥有多少张点数为 $i$ 的手牌，其中 $0\leq a_i \leq 4$。

第二行输入两个数字 $n,x$，分别表示康拉德友裕打出的手牌数量和打出的所有牌的点数，其中 $n\in \{1,2,4\}，1\leq x\leq 13$。

数据保证康拉德友裕打出的手牌一定为\textbf{​​单牌}，​\textbf{​对子}，\textbf{​​炸弹}中的一种。

Output

请判断维多利亚瞳能否在此规则下打出压制的牌，如果可以输出 "YES",否则输出"NO"(不需要打出双引号，不区分大小写输出"Yes","No","yEs"均可视为正确)。

Samples

0 0 0 0 0 0 0 0 0 4 0 0 0
1 2

YES

Limitation

1s, 1024KiB for each test case.