#AT8030. 买菜做饭

买菜做饭

题目描述

为了做饭,出题人拿了 kk 块钱,准备去买食材。出题人准备买一只螃蟹和若干蔬菜。菜场里有 nn 只螃蟹,第 ii 只螃蟹的价格为 cic_i,美味值为 viv_i,菜场里有 mm 个蔬菜,第 ii 个蔬菜的价格为 wiw_i,美味值为 pip_i,求出题人的钱能换来最大的美味值。

输入格式

第一行三个正整数 k,n,mk,n,m,接下来 nn 行,每行两个正整数 ci,vi c_i,v_i,接下来 mm 行,每行两个正整数 wi,piw_i,p_i,相邻整数均以空格分开。

输出格式

一行一个整数,表示出题人的钱能换来最大的美味值。

输入输出样例

23 2 2
2 3
3 4
10 10
10 10
24

样例解释

数据范围

所有数字 3000\le 3000