文件读写

输入文件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