该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

题目描述

其实想变瘦，只需要制造热量缺口就可以了，这是来自瘦了 $26$ 斤的 $TooY0ung$ 总结出来的经验。简单的说，假设一天你摄入食物的热量是 $2000$ 千卡，如果你通过基础代谢以及运动消耗了 $3000$ 千卡，那么这其中缺少的 $1000$ 千卡将由身体提供，换言之，你就变瘦了。

不过由于过年等种种原因，$TooY0ung$ 发现自己胖了 $2$ 斤，于是他开始重新认真计算热量缺口。

已知 $TooY0ung$ 每天基础代谢以及运动可以消耗 $x$ 千卡，$TooY0ung$ 会摄入 $n$ 个食物，第 $i$ 个食物的名称是 $s_i$，它的热量是 $a_i$，但是 $TooY0ung$ 讨厌吃胡萝卜（名称为 $carrot$ ），当他 连续 吃到两次胡萝卜，他这一天就不会再吃任何东西。

请你来帮 $TooY0ung$ 算算，今天是否存在热量缺口？

补充说明：只要摄入热量小于基础代谢以及运动可以消耗的 $x$ 千卡，即存在热量缺口。

输入格式

两个数 $n$ 和 $x$。

接下来 $n$ 行，每行一个字符串 $s_i$ 表示食物名字，以及一个数字 $a_i$，表示食物热量。

输出格式

如果存在热量缺口，输出 $Yes$。否则，输出 $No$。

5 3000
carrot 100
icecream 600
rice 500
coke 500
beef 600

Yes

数据规模与约定

对于 $100\%$ 的数据，$1 \le n\le 10$，$1 \le x, a_i \le 5000$，$1 \le |s_i| \le 100$。 $|s_i|$ 表示字符串的长度。