#include<bits/stdc++.h>
using namespace std;
const int N=5010;
bitset<N> dp[N],tmpl[N],tmpr[N],tmp2,tmp;
int main(){
	int n=5000,a=0,b=0;
	scanf("%d%d%d",&n,&a,&b);
	dp[0][0]=1;
	for(int i=0;i<N;i++)
	for(int j=i;j<N;j++)
		tmpl[i][j]=1;
	for(int i=0;i<N;i++)
	for(int j=0;j<=i;j++)
		tmpr[i][j]=1;
	for(int i=1;i<=n;i++){
		int l1=0,r1=5000,l2=0,r2=5000;
		scanf("%d%d%d%d",&l1,&r1,&l2,&r2);
		l1-=a;r1-=a;l2-=b;r2-=b;
		l1=max(l1,0);
		r1=min(r1,n);
		l2=max(l2,0);
		r2=min(r2,n);
		tmp=tmpl[l2]&tmpr[r2];
		for(int j=r1;j>=l1;j--){
			tmp2=dp[j]&tmp;
			dp[j]|=tmp2<<1;
			dp[j+1]|=tmp2;
		}
	}
	int res=0;
	for(int i=0;i<=n;i++)
	for(int j=0;j<=n;j++)
		if(dp[i][j])res=max(res,i+j);
	printf("%d\n",res);
//	printf("%.20lf\n",(double)clock()/CLOCKS_PER_SEC);
	return 0;
}