题目描述

三沙海域广阔，渔业发达。津津、菲菲和皮皮已经掌握了渔业资源的一些数据。

包括：每种鱼特定的库存量、总售价以及市场的最大需求量。

现在的任务是计算并制定出最优的销售策略，以便获得最大的收益。

（注意：销售时允许取出一部分库存）

输入格式

每个输入包含一个测试用例。

第一行为N表示鱼的种类数以及D表示市场最大需求量。

第二行给出N个正数表示每种鱼的库存量 $A_i$。

第三行给出N个正数表示每种鱼的总售价 $B_i$。

输出格式

在一行输出最大收益，精确到小数点后两位。

样例

输入样例

3 20
18 15 10
75 72 45

输出样例

94.50

样例解释

第二种鱼一共有15条总价为72+第三种鱼的一半5条总价为 $45/2 = 94.50$

数据范围与提示

$n \leq 1000$, $D \leq 10^6$, $A_i,B_i < 1000$