本题没有已知的多项式复杂度的做法。

题目背景

众所周知，绵羊不会游泳。

题目描述

现在有 $n$ 种颜色的绵羊掉进了水里，绿绵羊想要营救它们。绿绵羊有 $m$ 条救生艇，第 $i$ 条救生艇可以坐 $v_i$ 只绵羊。但由于不同颜色的绵羊坐在一起会搞起床战争，从而把船弄翻，所以一条救生艇只能坐相同颜色的绵羊。

绿绵羊想知道，它最多能救上多少绵羊。

格式

输入格式

两个整数 $n$、$m$，含义如题目所述。

接下来一行，$n$ 个整数，第 $i$ 个整数表示颜色为 $i$ 的绵羊有多少只。

接下来一行，$m$ 个整数，第 $i$ 个整数 $v_i$ 表示每条救生艇能坐的绵羊数。

输出格式

一个整数。表示最多救上来的绵羊数。

样例数据

4 3
1 2 3 4
2 3 4

9

2 3
4 5
4 3 2

9

Problem from: @