#include <bits/stdc++.h>
using namespace std;

#define ll long long
#define ull unsigned long long
#define MAXN 5010

void solve()
{
    int n, xx, yy;
    cin >> n >> xx >> yy;
    vector<pair<pair<int, int>, pair<int, int>>> a(n);
    for (int i = 0; i < n; i++)
    {
        cin >> a[i].first.first >> a[i].first.second >> a[i].second.first >> a[i].second.second;
        a[i].first.first = max(0, a[i].first.first - xx);
        a[i].first.second = max(-1, a[i].first.first - xx);
        a[i].second.first = max(0, a[i].second.first - yy);
        a[i].second.second = max(-1, a[i].second.first - yy);
    }
    vector<bitset<MAXN>> dp(n + 3);
    dp[0][0] = 1;
    for (int i = 0; i < n; i++)
    {
        if(a[i].first.second == -1 || a[i].second.second == -1 || a[i].first.first > n + 2 || a[i].second.first > n + 2)
            continue;
        auto ndp = dp;
        for (int j = a[i].second.second; j >= a[i].second.first; j--)
        {
            bitset<MAXN> bt = dp[j];
            bt >>= a[i].first.first;
            bt <<= a[i].first.first;
            bt <<= MAXN - 1 - a[i].first.second;
            bt >>= MAXN - 1 - a[i].first.second;
            ndp[j + 1] |= bt;
            bt <<= 1;
            ndp[j] |= bt;
        }
        dp = ndp;
        // for (int j = 0; j <= n; j++)
        // {
        //     cerr << dp[j] << endl;
        // }
    }
    int ans = 0;
    for (int i = 0; i <= n; i++)
    {
        for (int j = 0; j <= n; j++)
        {
            if(dp[i][j])
                ans = max(ans, i + j);
        }
    }
    cout << ans << '\n';
}

int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0), cout.tie(0);
    int t = 1;
    while (t--)
    {
        solve();
    }
}