#include <string>
#include <vector>
#include <map>
#include <set>
#include <deque>
#include <iostream>
#include <functional>
#include <algorithm>
#include <sstream>
#include <iterator>
#include <cmath>
#include <limits>
#include <tuple>
#include <queue>
#include <stack>
#include <bitset>

using namespace std;
typedef long long ll;

#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define rep1(i,n) for(int i=1;i<=(int)(n);i++)
#define all(c) c.begin(),c.end()

int main()
{
	int N;
	cin >> N;
	set<string> memo;
	rep(i, N)
	{
		string S;
		cin >> S;
		auto it = memo.find(S);
		if (it != memo.end()) {
			auto ans = (*it)[0] == '!' ? it->substr(1) : *it;
			cout << ans << endl;
			return 0;
		}
		memo.insert(S[0] == '!' ? S.substr(1) : "!" + S);
	}
	cout << "satisfiable" << endl;
	return 0;
}

#include <bits/stdc++.h> 
using namespace std;
#define int long long
#define endl '\n'
#define SPEED                       \
  ios_base::sync_with_stdio(false); \
  cin.tie(0);                       \
  cout.tie(0);
  
// Aakash

int32_t main() { 
     SPEED;
	
	int n;
	cin>>n;
	vector<int> a(3,0);
	int temp=n;
    int digit=0;
    int sum=0;
    while(temp>0)
    {
        a[(temp%10)%3]++;
        sum+=temp%10;
        temp/=10;
        digit++;
    } 
    
    if(sum%3==0) 
    cout<<0;
    
    else if(sum%3==1)
    {
        if(a[1]>0 && digit!=1)
        {
            cout<<1;
        }
        else if(a[1]>0 && digit==1)
        {
            cout<<-1;
        }
        else
        {
            if(a[2]>1 && digit>2 )
            {
                cout<<2;
            }
            else
            {
                cout<<-1;
            }
            
        }
    }
    else if(sum%3==2)
    {
        if(a[2]>0 && digit!=1)
        {
            cout<<1;
        }
        else if(a[2]>0 && digit==1)
        {
            cout<<-1;
        }
        else
        {
            if(a[1]>1 && digit>2)
            {
                cout<<2;
            }
            else
            {
                cout<<-1;
            }
        }
    }	
    return 0; 
} 
