#include <bits/stdc++.h>
#define rep(i, a, n) for(int i = a; i < n; i++)
using namespace std;
using ll = long long;
using P = pair<int, int>;

int main()
{
    int n;
    cin >> n;
    vector<string> s(n);
    rep(i, 0, n) cin >> s[i];
    set<string> st;
    rep(i, 0, n) st.insert(s[i]);
    for(string s : st){
        if(s[0] != '!'){
            string t = "!" + s;
            decltype(st)::iterator it = st.find(t);
            if(it != st.end()){
                cout << s << endl;
                return 0;
            }
        }
    }
    cout << "satisfiable" << endl;
    return 0;
}

#include <bits/stdc++.h>
#define ll long long
using namespace std;
const int N = 1e6+10;
int p[N];
int main() {
	ios::sync_with_stdio(0); cin.tie(0);
	int x,y;
	cin >> x >> y;
	int c = min(x,y);
	int d = max(x,y);
	if((d-c)<3)cout << "Yes";
	else cout << "No";
}
