#include <bits/stdc++.h>
#define gc getchar
#define pc putchar
using namespace std;
typedef long long ll;
const int maxn=5145;

int n,x,y,dp[maxn][maxn];

int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);

	cin>>n>>x>>y;
	__builtin_memset(dp,-1,sizeof(dp));
	dp[0][0]=0;
	for(int i=1;i<=n;i++) {
		int lx,rx,ly,ry;
		cin>>lx>>rx>>ly>>ry;
		lx-=x,rx-=x,ly-=y,ry-=y;
		lx=max(0,lx),rx=max(-1,rx),ly=max(0,ly),ry=max(-1,ry);
		for(int j=0;j<=i;j++) {
			dp[i][j]=dp[i-1][j];
			if(j>lx&&j-1<=rx&&dp[i-1][j-1]>=ly&&dp[i-1][j-1]<=ry)dp[i][j]=max(dp[i][j],dp[i-1][j-1]);
			if(j>=lx&&j<=rx&&dp[i-1][j]>=ly&&dp[i-1][j]<=ry)dp[i][j]=max(dp[i][j],dp[i-1][j]+1);
		}
	}
	
	int ans=0;
	for(int i=0;i<=n;i++) {
		if(dp[n][i]>=0) {
			ans=max(ans,dp[n][i]+i);
		}
	}
	cout<<ans;

  return 0;
}