小核桃抽卡
背景
小核桃最近迷上了抽球星卡片，请你帮他算一算能不能抽到自己心仪的卡片？
题目描述
目前市场上卖两种卡片，“帕尼尼”牌和“topps”牌，帕尼尼牌一袋8元，topps一袋10元，两袋构成部分不一样(见附1)，小核桃想要买到自己心仪的卡片，请你帮帮他，买到卡片吧！
输入格式
第一行一个整数n，表示小核桃现在有的零花钱数，第二行一个数字a，表示他心仪卡片的数量，接下来a行，输入他心仪的卡片名称(见附2)
输出格式
仅一行，如果他能买到，输出yes，否则输出no
输入样例
10
2
daibian
qianzi
输出样例
yes
附1
帕尼尼：物料1张，签字1张，带编3张(共5张) topps:物料1张，签字2张，带编2张(共5张)
附2
物料：wuliao 签字：qianzi 带编：daibian