#include<bits/stdc++.h>
#include<queue>
#include<string.h>
#include<iostream>
#include<map>
#include<vector>
#include<algorithm>
#define int long long
#define ll long long
#define ull unsigned long long
#define rep(i,a,b) for(int i=a;i<=b;i++)
#define nl t[n].l
#define nr t[n].r
#define gcd __gcd
#define itn int
using namespace std;
const int maxn=1e6+50;
const int N=1e5+50;
const int inf=31525197391593473;
const int INF=2e18;
const int mod=998244353;
const double eps=1e-12;
#define pop_count __builtin_popcountll
//const ull mask = std::chrono::steady_clock::now().time_since_epoch().count();
int a[maxn],b[maxn],c[maxn],d[maxn];
int f[5005][5005];
int ma[5005];
void solve()
{
   int n,k1,k2;
   cin>>n>>k1>>k2;
   rep(i,1,n)
   {
       cin>>a[i]>>b[i]>>c[i]>>d[i];
   }
   f[0][0]=1;
   int lim=0;
   rep(i,1,n)
   {
       int ok=lim;
       for(int k=0;k<=n;k++)
       {
           int j=lim;
           if(f[j][k]&&k1+j>=a[i]&&k1+j<=b[i]&&k2+k>=c[i]&&k2+k<=d[i])
            {
                   f[j+1][k]=f[j][k+1]=1;
                   ma[j]=max(ma[j],k+1);
                   ma[j+1]=max(ma[j+1],k);
                   ok=max(ok,j+1);
            }
       }
       for(int j=lim-1;j>=0;j--)
       {
           int k=ma[j];
           {
               if(f[j][k]&&k1+j>=a[i]&&k1+j<=b[i]&&k2+k>=c[i]&&k2+k<=d[i])
               {
                   f[j+1][k]=f[j][k+1]=1;
                   ma[j]=max(ma[j],k+1);
                   ma[j+1]=max(ma[j+1],k);
               }
           }
       }
       lim=ok;
   }
   int ans=0;
   rep(i,0,n)
   {
       rep(j,0,n)
       {
           if(f[i][j]) ans=max(i+j,ans);
       }
   }
   cout<<ans;
}


signed main()
{
   ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
   int __=1;
   srand((time(0)));

  //cin>>__;

  while(__--)
  {
       solve();
  }
    return 0;
}