题目描述

津津为了打败魔王正在制作烈焰神剑，制作烈焰神剑的时候其温度不能低于10000度并且还需要其他不少的材料才能合成出来，目前津津还差一个能够加热到10000及以上度的炉子和一种火属性素材，这种火元素材料没有了，但是有两种材料可以选择，一种是泰坦火晶石、另一种是龙息精华，要求泰坦火晶石的重量超过0.8千克或者龙息精华重量超过0.9千克，津津能不能做出烈焰神剑呢？

输入格式

一行3个整数

分别表示炉子能加热到的最高温度t度，泰坦火晶石重量x克，龙息精华y克

输出格式

如果能制作出烈焰神剑则输出Yes

否则输出No

样例

样例输入

10000 801 901

样例输出

Yes

数据范围与提示

对于 $100\%$ 的数据，$1 \leq t,x,y \leq 2^{31}$。