You cannot submit for this problem because the contest is ended. You can click "Open in Problem Set" to view this problem in normal mode.

文件读写

输入文件allocati on.in

输出文件allocati on.out

限制

1000ms

512MB

说明

众所周知，苏老师家里存着非常多的羊腿，一共有 $m$ 只，依次编号为 $1 \sim m$，每只羊腿都有自己的大小 $b_i$

当然，作为强迫症的苏老师已经将这 $m$ 只羊腿从小到大排好了。

现在苏老师准备请群里一共 $n$ 个小伙伴吃羊腿。

为了不浪费粮食，苏老师统计了每个小伙伴的食量 $a_i$，表示第 $i$ 个小伙伴最多只能吃下编号为 $a_i$ 的羊腿

当然，为了公平，每个小伙伴只能分到一个羊腿。

如果某个小伙伴 $x$ 没有办法分到适合他吃的羊腿，那么苏老师会为他准备好质量为 $b_{a_x}$ 的牛肉来补偿他

现在苏老师想知道，他最少需要准备多少质量的牛肉？

输入格式

输出格式

样例

5 4
2 3 4 3 2
3 9 20 100

9