Migrated from Lutece 29 飞镖(dart)

All parts of this problem, including description, images, samples, data and checker, might be broken. If you find bugs in this problem, please contact the admins.

Description

飞镖是在欧洲颇为流行的一项运动。它的镖盘上分为$20$个扇形区域，分别标有$1$到$20$的分值，每个区域中有单倍、双倍和三倍的区域，打中对应的区域会得到分值乘以倍数所对应的分数。例如打中$18$分里面的三倍区域，就会得到$54$分。另外，在镖盘的中央，还小红心和大红心，分别是$25$分和$50$分。

通常的飞镖规则还有一条，那就是在最后一镖的时候，必须以双倍结束战斗，才算获胜。也就是说，当还剩$12$分的时候，必须打中双倍的$6$才算赢，而打中单倍的$12$或者三倍的$44则不算。特别的，大红心也算双倍(双倍的$25$)。

在这样的规则下，$3$镖能解决的最多分数是$170$分(两个三倍的$20$，最后用大红心结束)。

类似的，可以把原来的$1$到$20$分的分值扩大为$1$到$K$分，同时把小红心的分数扩大为$M$分(大红心是其双倍)，现在3镖能解决的最多分数就不一定是$170$分了。

在本题中，输入给出$K$和$M$，同时给出一个分数$C$，你需要解决的是能否在$3$镖内（可以不一定用满$3$镖）解决$C$分。同样的，最后一镖必须是双倍，包括大红心。

Input

输入包含多组数据。每组数据是包含$3$个整数$K$，$M$，$C$($20 \leq K,M,C \leq 10^8$)的一行，意义如上面所说。$K=M=C=0$代表输入结束。

Output

对每组输入，输出一行。如果可以解决，输出Yes，否则输出No。

Samples

20 25 170
30 60 360
30 40 360
0 0 0

Yes
Yes
No

Note

本题输入、输出都非常多，建议使用printf和scanf代替cout和cin。

暴力的算法将很可能会超过时间限制Time Limit Exceeded。

Resources

电子科技大学第六届ACM程序设计大赛 初赛