Description

东北真的太冷，小陈同学尊嘟受不了啦。小陈同学从遥远2999.75公里的温暖南方远赴东北学习如何成为acmer。可一直在重复，感冒，发烧，嗓子哑，非常耽误小陈同学成为acmer的进度，而且寒冷的天气让小陈同学的emo值急剧上升。终于熬到了学期末，小陈同学终于可以回家了，回家可以将emo值清零。

可是回家无论火车，还是飞机等方式都很贵。小陈同学无意间刷pxx时发现了n（1≤n≤1000000）个“砍一刀”可以白嫖的路费的机会（“砍一刀”超过票价之后仍然可继续砍，必须砍完n刀，超出票价的部分可以提现）。路费原本为x（1≤x≤100000000）元，第i个“砍一刀”可以让路费减少Ai元，Ai的大小为数字i的各位数之和。例如i=2333，Ai=2+3+3+3=11。小陈同学想知道砍完n次之后，自己能不能0元购，开心回到家中。

Input Format

一个正整数x和正整数n，表示回家的路费和有n个“砍一刀”的机会。

Output Format

输出一行。如果符合小陈同学0元购的期望，输出“Yes!EMO=0”。否则输出“No.EMO=+∞”。

50 9

No.EMO=+∞