#include<bits/stdc++.h>
#define int long long
using namespace std;
int n,h,w,aa[10],bb[10],a[10],b[10],d[10],c[15][15];
bool place(int i,int j,int k){
if(j+a[i]-1<=h&&k+b[i]-1<=w){
for(int i1=j;i1<=j+a[i]-1;i1++){
for(int j1=k;j1<=k+b[i]-1;j1++){
if(c[i1][j1]){
return 0;
}
}
}
for(int i1=j;i1<=j+a[i]-1;i1++){
for(int j1=k;j1<=k+b[i]-1;j1++){
c[i1][j1]=i;
}
}
return 1;
}else{
return 0;
}
}
bool check(){
memset(c,0,sizeof(c));
for(int i=1;i<=n;i++){
bool flag=0;
for(int j=1;j<=h;j++){
for(int k=1;k<=w;k++){
if(place(i,j,k)){
flag=1;
break;
}
}
if(flag==1){
break;
}
}
}
for(int i=1;i<=h;i++){
for(int j=1;j<=w;j++){
if(!c[i][j]){
return 0;
}
}
}
return 1;
}
bool vis[15];
void dfs(int x){
if(x==n+1){
for(int i=1;i<=n;i++){
a[i]=aa[d[i]];
b[i]=bb[d[i]];
}
for(int i=0;i<=((1<<n)-1);i++){
for(int j=1;j<=n;j++){
if(i&(1<<(j-1))){
swap(a[j],b[j]);
}
}
if(check()){
cout<<"Yes\n";
exit(0);
}
}
for(int i=0;i<=((1<<n)-1);i++){
for(int j=1;j<=n;j++){
if(i&(1<<(j-1))){
swap(a[j],b[j]);
}
}
}
}
for(int i=1;i<=n;i++){
if(!vis[i]){
vis[i]=1;
d[x]=i;
dfs(x+1);
vis[i]=0;
}
}
}
signed main(){
ios::sync_with_stdio(false);
cin.tie(0);
cout.tie(0);
cin>>n>>h>>w;
for(int i=1;i<=n;i++){
cin>>aa[i]>>bb[i];
d[i]=i;
}
dfs(1);
cout<<"No\n";
return 0;
}
https://atcoder.jp/contests/abc345/submissions/51388678