题目背景

但是这次幸运女神没有站在WT学姐这边，WT学姐没有拿到她想要的附魔巨剑，好在也没有啥损失。出自老人的怜悯与慷慨，认可了WT学姐的胆识与勇气，给与了WT学姐一些魔力10面骰子（点数为 $0\sim 9$）。

“相信我们还会再见面的......”，老人背着那把巨剑匆匆的走开了。

WT学姐把那些魔力骰子收起来，发现与之前《初遇Slime！》箱子里的骰子无异，只不过对小破剑攻击力的增幅是叠加的，详见样例解释1。

WT学姐一边探索着地牢，一边玩弄着兜里的魔力骰子，看来她很是珍惜这些魔力骰子。

但是在WT学姐刚进入下一个昏暗的房间，面前的庞然之物慢慢向WT学姐靠近，竟...竟然是一只 slime 精英！！！

题目描述

WT学姐恐慌坏了，但是她并不准备逃跑，她打算用掉所有的魔力骰子，与这只 slime 精英一击定胜负！

问：在必须使用所有的魔力骰子的情况下，WT学姐能不能一击获胜？

魔力骰子效果如下：

如果骰子点数为 $0$ ，那么下一场战斗必然失败；

如果骰子点数为 $1\sim3$ ，那么攻击力变成原来的 $80$% ；（攻击力向下取整，详见样例解释1）

如果骰子点数为 $4\sim6$ ，那么攻击力不变；

如果骰子点数为 $7\sim8$ ，那么攻击力变成原来的 $120$%；（攻击力向下取整，详见样例解释1）

如果骰子点数为 $9$ ，那么下一场战斗必然胜利；

（上面是相同部分，下面是新加的机制）

• 叠加与向下取整机制：先叠加计算，计算完成之后，如果攻击力有小数，那么向下取整，详见样例解释1。（即最后一次计算向下取整，中间过程不取整）
• 骰子抵消机制：一个点数为 $0$ 的点数 会与 一个点数为 $9$ 的骰子相抵消，详见样例解释2。

输入格式

第一行给定小破剑的攻击力 $ATK$（$1\le ATK \le 10^7$）。

第二行给定魔力骰子的个数 $n$ （$1\leq n \leq 1000$）。

第三行有 $n$ 个整数，为每个魔力骰子的点数 $k$ （$0\leq k \leq 9$）。

第四行给定 slime 精英的血量$HP$（$1\le HP \le 10^7$）。

输出格式

如果能一击战胜则输出 YES ，否则输出 NO 。

样例

7895
5
2 3 7 8 2
5821

NO

500
5
0 9 0 9 8
600

YES

样例解释

样例解释1（叠加与向下取整机制）：

攻击力为 $7895$，魔力骰子点数为 $2$ ，$3$ ，$7$ ，$8$ ，$2$。

那么此时的攻击力为 $7895*0.8*0.8*1.2*1.2*0.8=5820.8256$，此时向下取整为 $5820$。

史莱姆精英的血量为 $5821$。

不能一击战胜 slime 精英。

样例解释2（骰子抵消机制）：

攻击力为 $500$ ，魔力骰子点数为 $0$ ，$9$ ，$0$ ，$9$ ，$8$。

两个 $0$ 与两个 $9$ 相抵消，相当于零个 $0$ 和 零个 $9$ ，此时的攻击力为 $500*1.2=600.0$，向下取整为 $600$。

史莱姆精英的血量为 $600$。

可以一击战胜 slime 精英。

特殊说明

这就是WT学姐遇到的巨大的史莱姆精英：

特殊说明2

WT学姐系列如下：

CLPR1002 梦开始的地方？

CLPR1004 奇怪的谜题

CLPR1005 初遇Slime！

CLPR1006 神秘的老人

CLPR1007 Slime精英？ $\red*$

CLPR1010 牢笼迷阵

CLPR1011 咒语

CLPR1022 诅咒谜题

CLPR1034 反转矩阵

CLPR1038 真的要结束这段旅程了吗QAQ