时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld
题目描述
为了响应国家鼓励青年创业的号召，大学生创业先锋Funny哥在开满美丽石楠花的民大开了一家锅盔店。为了让同学们吃到热乎的锅盔，好朋友创锐给了Funny哥一个神奇的保温盒： 保温盒的容量为
，而且后放入的锅盔会叠放在先放入的锅盔之上。
每天下课后购买锅盔的同学很多，所以Funny哥提前准备好了一些锅盔。但是同学们喜欢的锅盔口味并不相同，所以在售卖锅盔时：
- Funny哥会先看看保温盒是否有锅盔，且最上面的锅盔是不是当前同学想要的，如果是就拿出来出售。
- 否则Funny哥会先拿取下一个准备好的锅盔。
– 如果拿到的锅盔是当前同学喜欢的口味，他会直接卖出这个锅盔；
– 如果不是，他会将拿到的这个锅盔放入保温盒中。
如此重复直到所有同学都买到锅盔或者出现问题（Funny哥不希望看到的情况）。
但是，作为勤俭节约的新时代青年的Funny哥不希望烤好的锅盔有剩余。 另外，由于保温盒的容量是有限的，保温盒离放入的锅盔超过容量也是他不希望看到的。现在Funny哥告诉你了他将要拿取提前准备好的锅盔的顺序，请你编写程序告诉他今天的锅盔是否能够满足所有人的要求。
输入描述:
第一行包括两个整数和
，分别表示提前准备好的锅盔的数量和保温盒的容量；
第二行为一个仅包含小写字母的字符串，表示Funny哥拿取提前准备好的锅盔的顺序，长度为n；
第三行为一个仅包含小写字母的字符串，表示同学们的需求顺序。
，
表示
注意：两个字符串的不同元素代表着不同的锅盔口味。
输出描述:
如果今天Funny哥的锅盔可以满足要求，则输出一行：第一行输出字符串 "Don't you think that's Funny?" （不包括引号）；如果今天Funny哥的锅盔不能满足要求，则输出一行：第一行输出字符串 "That's not Funny at all!" （不包括引号）。