小明同学正在完成自己的强壮计划。为了强壮，小明同学希望吃到更多的蛋白质。然而也不能只吃高蛋白质食品，那样的话就会导致缺少其他营养。小明同学 通过研究发现：真正的营养膳食规定某类食品不宜一次性吃超过若干份。比如就一顿饭来说，肉类不宜吃超过 1 份，鱼类不宜吃超过 1 份，蛋类不宜吃超过 1 份，蔬菜类不宜吃超过 2 份。
小明同学 想要在营养膳食的情况下吃到更多的蛋白质，当然 小明同学 的食量也是有限的。
第一行包含三个正整数 n,m 和 k。表示 有 n 种食品供 小明同学 选择，每顿饭最多可以吃 m 份食品，而这 n 种食品分为 k 类。
第二行包含 k 个不超过 10 的正整数，表示可以吃 1 到 k 类食品的最大份数。
接下来 n 行每行包括 2 个正整数，分别表示该食品的蛋白质指数 ai 和所属的类别 bi。
包括一个数字即 小明同学 可以吃到的最大蛋白质数量和。
6 6 3
3 3 2
15 1
15 2
10 2
15 2
10 2
5 360