Problem:
Barter

Problem

ナナツ君は、うまか棒をx本、ふがしをy本持っている。

n人のお菓子交換人がいる。
それぞれの交換人iは、

ナナツ君のうまか棒ai本と交換人のふがしbi本

ナナツ君のふがしci本と交換人のブタメソdi個

のどちらか1つの方法で1回だけ交換してくれる。

この制約の下で、最終的に所持しているブタメソの個数を最大化せよ。

Input

入力は以下の形式で与えられる。

n
x y
a1 b1 c1 d1
a2 b2 c2 d2
...
an bn cn dn

1行目に整数nが与えられる。

2行目に整数x, yが空白区切りで与えられる。

3行目からn+2行目に整数ai, bi, ci, diが空白区切りで与えられる。

Constraints

1 ≤ n ≤ 100

0 ≤ x, y ≤ 300

1 ≤ ai, bi, ci, di ≤ 300

\(\sum_{i=1}^na_i\) ≤ 300, \(\sum_{i=1}^nb_i\) ≤ 300, \(\sum_{i=1}^nc_i\) ≤ 300, \(\sum_{i=1}^nd_i\) ≤ 300

Output

最終的にナナツ君が所持しているブタメソの個数の最大値を1行に出力する

Sample Input 1

3
3 3
3 2 4 1
5 1 2 1
3 1 3 2

Sample Output 1

3

Sample Input 2

3
3 4
3 1 3 1
3 1 4 1
3 1 2 1

Sample Output 2

2

Sample Input 3

4
5 0
5 1 1 1
2 1 2 1
4 1 1 1
3 1 3 1

Sample Output 3

2

Sample Input 4

4
0 0
1 10 1 10
2 5 2 5
3 25 5 6
1 15 2 20

Sample Output 4

0

Solution in C++11 (judge verdict: Time Limit Exceeded)

#include <bits/stdc++.h>
 
#define _overload(_1,_2,_3,name,...) name
#define _rep(i,n) _range(i,0,n)
#define _range(i,a,b) for(int i=(int)(a);i<(int)(b);++i)
#define rep(...) _overload(__VA_ARGS__,_range,_rep,)(__VA_ARGS__)
 
#define _rrep(i,n) _rrange(i,n,0)
#define _rrange(i,a,b) for(int i=(int)(a)-1;i>=(int)(b);--i)
#define rrep(...) _overload(__VA_ARGS__,_rrange,_rrep,)(__VA_ARGS__)
 
#define _all(arg) begin(arg),end(arg)
#define uniq(arg) sort(_all(arg)),(arg).erase(unique(_all(arg)),end(arg))
#define getidx(ary,key) lower_bound(_all(ary),key)-begin(ary)
#define clr(a,b) memset((a),(b),sizeof(a))
#define bit(n) (1LL<<(n))
 
// #define DEBUG
 
#ifdef DEBUG
    #define dump(...) fprintf(stderr, __VA_ARGS__)
#else
    #define dump(...)
#endif
 
template<class T>bool chmax(T &a, const T &b) { return (a<b)?(a=b,1):0;}
template<class T>bool chmin(T &a, const T &b) { return (b<a)?(a=b,1):0;}
 
using namespace std;
using ll=long long;
using vi=vector<int>;
using vll=vector<ll>;
 
const double EPS = 1e-10;
const double PI = acos(-1.0);
const ll inf =1LL << 62;
const ll mod=1000000007LL;
const int dx[4]={1,0,-1,0};
const int dy[4]={0,1,0,-1};
 
 
ll extgcd(ll a,ll b,ll& x,ll& y){x=1,y=0;ll g=a;if(b!=0) g=extgcd(b,a%b,y,x),y-=a/b*x;return g;}
ll ADD(const ll &a, const ll &b,const ll &mod) { return (a+b)%mod;}
ll SUB(const ll &a, const ll &b,const ll &mod) { return (a-b+mod)%mod;}
ll MUL(const ll &a, const ll &b,const ll &mod) { return (1LL*a*b)%mod;}
ll DIV(const ll &a, const ll &b,const ll &mod) {ll x,y; extgcd(b,mod,x,y);return MUL(a,(x+mod)%mod,mod);}
 
random_device rd;
mt19937 mt(rd());
uniform_int_distribution<int> dice(1,6);
uniform_real_distribution<double> score(0.0,10.0);

using In = tuple<int, int, int, int>;

int main(void){
    int n; cin >> n;
    int x, y; cin >> x >> y;

    vector<In> in(n);
    for(auto & e : in){
        int a, b, c, d; cin >> a >> b >> c >> d;
        e = tie(a, b, c, d);
    }

    map<int, map<int, int>> dp;
    dp[x][y] = 0;

    for(auto & e : in){
        int a, b, c, d; tie(a, b, c, d) = e;

        map<int, map<int, int>> ndp;
        for(auto & e1 : dp){
            for(auto & e2 : e1.second){
                int tako = e1.first, fuga = e2.first;
                int buta = e2.second;

                chmax(ndp[tako    ][fuga    ], buta);
                chmax(ndp[tako - a][fuga + b], buta);
                chmax(ndp[tako    ][fuga - c], buta + d);
            }
        }

        dp = ndp;
    }

    int res = 0;
    for(auto & e1 : dp){
        for(auto & e2 : e1.second){
            int tako = e1.first, fuga = e2.first;
            int buta = e2.second;

            if(tako >= 0 and fuga >= 0){
                chmax(res, buta);
            }
        }
    }

    cout << res << endl;

    return 0;
}