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


int main() {
string before;
int N;
string after;
cin  >> before >> N >> after;
int b=0;
int a=0;

for(int i=0;i<3;i++){
    if(before.at(i)=='o'){
        b++;
    }
    if(after.at(i)=='o'){
        a++;
    }
}

if(a!=b){
    cout << "SUCCESS" << endl;
}

else{
    if(a*a==3*a){
        cout << "FAILURE" << endl;
    }
    else{
        if(N>=2){
            cout << "FAILURE" << endl;
        }
        else{
            if(N==0){
                if(before==after){
                    cout << "FAILURE" << endl;
                }
                else{
                    cout << "SUCCESS" << endl;
                }
            }
                if(before=="oxx"){
                    if(after=="xox"){
                        cout << "FAILURE" << endl;
                    }
                    else{
                        cout << "SUCCESS" << endl;
                    }
                }
                if(before=="xox"){
                    if(after=="xox"){
                        cout << "SUCCESS" << endl;
                    }
                    else{
                        cout << "FAILURE" << endl;
                    }
                }
                if(before=="xxo"){
                    if(after=="xox"){
                        cout << "FAILURE" << endl;
                    }
                    else{
                        cout << "SUCCESS" << endl;
                    }
                }
                if(before=="xoo"){
                    if(after=="oxo"){
                        cout << "FAILURE" << endl;
                    }
                    else{
                        cout << "SUCCESS" << endl;
                    }
                }
                if(before=="oxo"){
                    if(after=="oxo"){
                        cout << "SUCCESS" << endl;
                    }
                    else{
                        cout << "FAILURE" << endl;
                    }
                }
                if(before=="oox"){
                    if(after=="oxo"){
                        cout << "FAILURE" << endl;
                    }
                    else{
                        cout << "SUCCESS" << endl;
                    }
                }
        }
    }
    }
}