作为一名探索者，小 C 可以在工坊里凝聚回响来提升队伍的战斗力。但回响并不是很容易就能制造出来的，具体来说，每个回响都需要一定能量的调律晶簇才能制成。
小 C 的仓库里共有 堆调律晶簇，第 堆调律晶簇的能量是 ， 堆调律晶簇 凝聚成的回响的能量值为 。
在接下来的 天里，小 C 每天都需要凝聚一种能量值为 的回响交给她的雇主，但仓库里的调律晶簇可能会被小 C 的搭档拿走，在第 天，小 C 的搭档会拿走除了 之外的调律晶簇。
小 C 想让你判断在接下来的 天里，她是否能够凝聚出对应的回响。
从文件 中读入数据。
第一行两个正整数 。
第二行 个整数 。
接下来 行，每行三个整数 。
输出到文件 中。
输出 行，第 行一个字符串 Yes，表示小 C 能完成目标，或者输出 No，表示小 C 不能完成目标。
Yes
No
10 10 8 45 56 9 38 28 33 5 15 19 10 10 53 3 8 60 1 10 29 5 7 62 3 7 51 8 8 52 1 4 60 6 8 32 4 8 58 5 9 2
No No Yes No Yes No No No Yes Yes
见选手目录下的 与 。
该样例满足测试点 的数据范围。
对于所有测试点：。
每个测试点的具体限制见下表：
