#define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define rep(i, n) for (ll i = 0; i < (ll)(n); i++)
#define repab(i, a, b) for (ll i = (ll)(a); i < (ll)(b); i++)
#define repr(i, n) for (ll i = (ll)(n); i >= 0; i--)
#define vsort(v) sort(v.begin(), v.end())
#define vsortr(v) sort(v.begin(), v.end(), greater<ll>{})

//定数
#define INF32 2147483647           // 2.147483647×10^{9}:32bit整数のinf
#define INF64 9223372036854775807  // 9.223372036854775807×10^{18}:64bit整数のinf
#define MOD 1000000007             //問題による

int main() {
  ll n, s, d;
  cin >> n >> s >> d;

  vector<ll> x(n), y(n);
  rep(i, n) cin >> x[i] >> y[i];

  string ans = "No";
  rep(i, n) {
    if (x[i] >= s) continue;
    if (y[i] <= d) continue;
    ans = "Yes";
    break;
  }

  cout << ans << endl;
}

#include <bits/stdc++.h>
using namespace std;

int main(){
  int A,B,W;
  cin >> A >> B >> W;
  W*=1000;
  int mi=1e9;
  int ma=-1;
  for(int i=1;i<=1e6;i++){
    if(A*i>W){
      break;
    }else if(B*i<W){
      continue;
    }else{
      mi=min(mi,i);
      ma=max(ma,i);
    }
  }
  if(ma==-1){
    cout << "UNSATISFIABLE" << endl;
  }else{
    cout << mi << " " << ma << endl;
  }
  return 0;
}
