#include <bits/stdc++.h>
using namespace std;
int main(){
// #ifndef TESTING
// freopen("input.txt", "r", stdin);
// freopen("output.txt", "w", stdout);
// #endif
int n_clauses;
cin >> n_clauses;
if(n_clauses < 8){
cout << "unsatisfactory" << endl;
} else {
cout << "satisfactory" << endl;
}
return 0;
}