1766. 陶勒斯VS约瑟

【题目背景】

十七王魄聚齐，七大灵兽共同祈福，北半球精灵王约瑟横空出世……

【题目描述】

约瑟，精灵王系，每天挑战两次（之后花费RMB购买挑战次数），战胜后获得精元，每天限量输出12个。（禽兽s：你到底说不说题？！）

约瑟挑战规则是消耗一次挑战次数进行一次判定，判定结果为3个灵兽和4种属性。若拥有所选中的三只灵兽，则只需挑战其余四只，（否则少哪就多打哪个），选中的四种属性中，若拥有对应王魄，即可在背包中携带该属性精灵（所以，约瑟难打是因为它限制了你的精灵选择……）。

如今，某赛尔RP爆发地抽中了战斗系，并且在前几天刚刚获得王之战魄，所以他带了库贝萨，利用反伤能力战胜约瑟。就在他挑战完四灵兽之后，问题来了，这个反伤的打法被和谐了TAT。（禽兽曰：特么有完没完了！）

呃，不急不急，快了。所幸他还可以带地面系，所以他还带了陶勒斯（桃乐丝？NO，是陶勒斯，地面系，以下简称陶牛）。现在只有靠它了……

可是，没有准备的小赛尔根本没有信心，可又不愿就此放弃，眼看着约瑟就在眼前，于是乎就找到你来帮忙。

现在他背包里准备了N个HP+200的恢复药剂，陶牛初始最大HP由文件给定。对战时，约瑟对陶牛的伤害设为X，X∈[30,60]（怎么这么少，因为陶牛附加了双防星魂，双防+600，为此他不知花了多少豆豆……），但是约瑟每三回合会使用必杀技，造成200点伤害（与x无关）；陶牛会首先进行6次攻击强化（即不进行攻击），六次强化后对约瑟的伤害设为Y，Y∈[600,1000]。约瑟HP我们固定为1300000！当然问题不会就只有这些，由于属性相克，精灵王系对除精灵王系外的所有属性都是1.25倍伤害，反过来自己算吧……

你的任务就是，判断这么多HP药剂够不够支持陶牛最终耗死约瑟（血药只有在约瑟即将打死陶牛时使用）。由于约瑟坑人的规则，陶牛不可以释放必杀技，否则会被约瑟一击造成π×10000的伤害。恢复HP永远是最先进行的，除此之外，每次都是约瑟先进行攻击。

【输入格式】

输入数据包含两行。

第一行为两个整数N和HP，表示HP药剂数量和陶牛初始最大HP值。

第二行为两个整数X和Y，意义如题。

【输出格式】

输出只一行。

若药剂数足够，则输出最少需要的药剂数量，否则输出“No!”。

【输入样例1】

100 500
40 700

【输出样例1】

No!

【输入样例2】

200 400
40 600

【输出样例2】

No!

【数据范围及约定】

对于100%的数据，N∈(0,30000],HP∈(200,700)。

X和Y的范围见题目。