题目描述

阿月正在女朋友宁宁的监督下完成自己的增肥计划。 为了增肥，阿月希望吃到更多的脂肪。然而也不能只吃高脂肪食品，那样的话就会导致缺少其他营养。阿月通过研究发现：真正的营养膳食规定某类食品不宜一次性吃超过若干份。比如就一顿饭来说，肉类不宜吃超过1份，鱼类不宜吃超过1份，蛋类不宜吃超过1份，蔬菜类不宜吃超过2份。阿月想要在营养膳食的情况下吃到更多的脂肪，当然阿月的食量也是有限的。

输入输出格式

输入

输入第一行包含三个正整数n（n≤200）,m（m≤100）和k（k≤100）。表示阿月每顿饭最多可以吃m份食品，同时有n种食品供阿月选择，而这n种食品分为k类。第二行包含k个不超过10的正整数，表示可以吃1到k类食品的最大份数。接下来n行每行包括2个正整数，分别表示该食品的脂肪指数ai和所属的类别bi，其中ai≤100，bi≤k。

输出

输出一个数字即阿月可以吃到的最大脂肪指数和。

样例

输入1

6 6 3
3 3 2
15 1
15 2
10 2
15 2
10 2
5 3

输出1

60

时间及空间限制

1s, 256MB.