要知道，天佑这位童鞋可是很会修地铁滴！平时只要t小时就能修好n条地铁。不过现在正值新冠病毒高发期，而且他的智商也被ZZN表哥降了100，所以他现在连啥叫地铁都忘了。SO，他需要让ZZN花m小时的时间教他怎么修地铁。不过他的同学SPR告诉他一个好消息，本来8节一条的地铁变成了6节，所以可以省下不少时间。那么请聪明的你帮帮天佑小朋友，告诉他在原来的时间里能不能修好？

第一行输入时间t和地铁数n，(1<=t,n<=10000)；

第二行输入听课时间m(1<=m<=1000)；

如果能在t小时里修好，输出”YES”,否则输出”NO”。

盛鹏瑞2020