### 问题描述

生活中总有一些躺平的人，当他们能达到目标时，总是不愿意再额外出力。简单来说就是做什么事情都是刚刚好。

小蓝就是这种躺平的人，面对毕业设计，小蓝可以构想各种各样的创新点，也有能力完成不同大小的工作量，但他可能并不会发挥他的全部能力，因为毕业的要求不会很高，小蓝只想着顺利毕业。

面对毕业选题，小蓝想到了 $n$ 个创新点，也能做出 $n$ 种不同程度的工作量。$n$ 个创新点用 $A_1,A_2,...,A_n$ 来表示，工作量用 $B_1,B_2,...,B_n$ 来表示。小蓝的毕业设计得分为 $A_i \times B_j$，其中，$1\leq i,j \leq n$。 老师对小蓝的能力了如指掌，并且警告小蓝不能摆烂，做出的毕业设计得分不能小于小蓝所有可能做出的毕业设计中按得分从高到低排序后的第 $k$ 个毕业设计的分数。

为了顺利毕业，小蓝必须认真起来，但他仍然不想太费周折，于是打算做出一个刚刚好能达到老师要求的毕业设计，即该毕业设计得分刚好排在小蓝所有可能做出的毕业设计中从高到低排序后的第 $k$ 名。

你是小蓝的朋友，能否迅速计算出让小蓝最终做出的毕业设计得分呢？

输入格式

输入共三行：

第一行包括两个正整数 $n,k$，$n$ 表示小蓝能够做出创新点和工作量的数量，$k$ 表示老师对小蓝能够做出的毕业设计得分从高到低排序后的最低排名要求。

第二行包括 $n$ 个数字，依次为 $A_1,A_2,...,A_n$，表示小蓝 $n$ 个创新点。

第三行包括 $n$ 个数字，依次为 $B_1,B_2,...,B_n$，表示小蓝 $n$ 种工作量。

输出格式

输出仅一行，包含一个整数，表示小蓝最终毕业设计的得分。

样例输入

4 5
2 3 4 1
3 2 5 4

样例输出

12

说明

在样例中，小蓝能够做出 6 4 10 8 9 6 15 12 12 8 20 16 3 2 5 4 共 $16$ 种不同得分的毕业设计。老师想让小蓝至少做出排名在第 $5$ 位分数的毕业设计，因此答案为 $12$。

评测数据规模

对于 $20$% 的评测数据，$1\leq n\leq 10^2$。

对于 $50$% 的评测数据，$1\leq n\leq 10^3$。

对于 $100$% 的评测数据，$1\leq n\leq 2 \times 10^4,1\leq k\leq n \times n, 1\leq A_i,B_i\leq 10^9$。