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

int rev(string str){
    int ret=0;
    replace(str.begin(),str.end(),'x','0');
    replace(str.begin(),str.end(),'o','1');
    for(int i=0;i<str.size();i++){
        for(int j=i+1;j<str.size();j++){
            if(str[i]>str[j])ret++;
        }
    }
    return ret;
}
int main(){
    string s,t;
    int n;
    cin>>s>>n>>t;
    if(count(s.begin(),s.end(),'o')!=count(t.begin(),t.end(),'o')){
        cout<<"SUCCESS"<<endl;
        return 0;
    }

    int latte=abs(rev(s)-rev(t));
    if(latte%2==n%2&&latte<=n){
        cout<<"FAILURE"<<endl;
    }
    else cout<<"SUCCEES"<<endl;
    return 0;
}