Counting Clauses Solution:

#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;
}