题目描述

小王正在完成自己的健身计划。 为了健身，小王希望吃到更多的蛋白质。然而也不能只吃高蛋白质食品，那样的话就会导致缺少其他营养。小王通过研究发现：真正的营养膳食规定某类食品不能一次性吃超过若干份。比如就一顿饭来说，肉类不能吃超过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。

输出格式

包括一个数字即小王可以吃到的最大蛋白质指数和。

样例数据

input

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

output

    60