#include<bits/stdc++.h>
#define ll long long
#define N 5050
using namespace std;
int read(){
    int x=0,f=1;char ch=getchar();
    while(ch<'0' && ch>'9')f=(ch=='-'?-1:f),ch=getchar();
    while(ch>='0' && ch<='9')x=(x<<1)+(x<<3)+(ch^48),ch=getchar();
    return x*f;
}
void write(int x){
    if(x<0)x=-x,putchar('-');
    if(x/10)write(x/10);
    putchar(x%10+'0');
}
vector f(N,bitset<N>{});
bitset<N> g;
int main(){
    #ifdef EAST_CLOUD
    freopen("a.in","r",stdin);
    freopen("a.out","w",stdout);
    #endif
    int n=read(),a=read(),b=read();
    f[0][0]=1;
    for(int i=1;i<=n;i++){
        int l=read(),r=read(),L=read(),R=read();
        l=max(0,l-a);r=r-a;L=max(0,L-b);R=R-b;
        for(int j=0;j<n;j++)g[j]=(j>=L && j<=R);
        for(int j=i;j>=0;j--){
            f[j]|=(f[j]&g)<<1;
            if(j!=0)f[j]|=(f[j-1]&g);
        }
    }
    int res=0;
    for(int i=0;i<=n;i++){
        for(int j=0;j<=n;j++){
            if(f[i][j])res=max(res,i+j);
        }
    }
    write(res);
}