题目描述

有 $N$ 名队员和 $N$ 份食物。队员 $i$ 的消化系数为 $A_i$，食物 $i$ 的难度为 $F_i$。每份食物必须分配给恰好一名队员，每名队员也只能吃一份食物。若某名队员当前系数为 $x$，负责难度为 $y$ 的食物，则用时为 $x\times y$。

比赛前队员可以训练。一次训练可以让某名队员的消化系数减少 1，但不能减到负数。全队总训练次数最多为 $K$。

合理安排训练次数和食物分配后，全队成绩定义为所有队员用时的最大值。求这个最大值的最小可能值。

输入格式

第一行两个整数 $N, K$。

第二行 $N$ 个整数 $A_i$。

第三行 $N$ 个整数 $F_i$。

输出格式

输出最小可能成绩。

数据范围

• $1 \le N \le 2 \times 10^5$
• $0 \le K \le 10^{18}$
• $1 \le A_i,F_i \le 10^6$

3 5
4 2 1
2 3 1

2

3 8
4 2 1
2 3 1

0

11 14
3 1 4 1 5 9 2 6 5 3 5
8 9 7 9 3 2 3 8 4 6 2

12