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

long long f(string s,string t){
	queue<string> Q;
	map<string,int> ok;
	Q.push(s);
	ok[s] = 0;
	while( Q.size() ){
		string q = Q.front(); Q.pop();
		if( q == t ){
			return ok[q];
		}
		for(int i = 0 ; i < 3 ; i++)
			for(int j = i+1 ; j < 3 ; j++){
				if( j-i > 1 ) continue;
				string w = q;
				swap(w[i],w[j]);
				if( !ok.count(w) ){
					ok[w] = ok[q] + 1;
					Q.push(w);
				}
			}
	}
	return 1e15;
}

int main(){
	string s,t;
	int N;
	cin >> s >> N >> t;
	long long r = f(s,t);
	if( r > N ) {
		cout << "SUCCESS" << endl;
	}else{
		cout << ((N-r)%2?"SUCCESS":"FAILURE") << endl;
	}
	
}