题目描述

TooY0ung 老师在上课的时候，学生们总是很邪恶的希望 TooY0ung 老师听取 WA 声一片。但是往往事与愿违， TooY0ung 老师的代码 99% 的情况下都是 AC 。

即使如此，TooY0ung 老师还是和 33dai 老师很良心的准备了本场的题目，希望学生可以在本场比赛中 AK ，并收获巨额硬币。

因为一些后台系统的原因，提交的代码返回结果会返回一串很长的字符串，并且字母的大小写可能会发生改变，并且字母的顺序发生了混乱。

你要通过一些你的操作，找到在一串的字符串里面是否可以包含连续的一串单词： WrongAnswer。

对系统返回的一串很长的字符串 $S$ ，你可以进行两种操作：

1. 选择任意长的一段字符串 $S'$，长度不能超过 $|S|$ ，$|S|$ 表示字符串 $S$ 的长度，对 $S'$ 内的字符进行随心所欲的排序。（怎么排序你自己开心就好，由你来决定。）
2. 修改 $S$ 中一个字母的大小写，大写字母 -> 对应的小写字母，比如 A -> a，或者小写字母 -> 大写字母，比如 a -> A 。（改哪个字母还是你来决定，还是那句话，you happy is good。）

每次 $1$ 和 $2$ 操作都视作一次修改，怎么安排由你来决定。

比如你可以先进行一次 $1$ 操作，再进行一次 $2$ 操作，再进行一次1操作，那这就一共进行了 $3$ 次修改。

当然你也可以先进行一次 $2$ 操作，再进行一次 $1$ 操作，再进行一次 $1$ 操作，再进行一次 $2$ 操作，那这就一共进行了 $4$ 次修改。

如果通过 恰好 $X$ 次修改可以让系统返回很长的字符串 $S$ 中出现 WrongAnswer 的话，我们就称 $S$ 为 学生开心字符串。

输入格式

输入一个字符串 $S$ 和 一个非负整数 $X$

输出格式

输出 "Yes" 或者 "No" ，表示字符串是否为 学生开心字符串 （输出内容不包含引号）

WRongAnswer 0

No

wronganswer 1

No

rWAsweronng 1

Yes

数据规模与约定

对于 $100\%$ 的数据，$1 \le |S| \le 1000$，$S$ 中仅包含单词字母表中的字母大写或者小写，即 'A' -> 'Z' 和 'a' -> 'z'，$|S|$ 表示字符串长度，$0 \le X \le 1000$

• 子任务 1（30 分）：保证输入字符串只有小写字母
• 子任务 2（30 分）：保证输入字符串只有大写字母
• 子任务 3（40 分）：没有特殊限制。