#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint1000000007;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000002
set<string> S;

void dfs(string s,long long remain){
	if(remain==0)S.insert(s);
	else{
		swap(s[0],s[1]);
		dfs(s,remain-1);
		swap(s[0],s[1]);
		swap(s[2],s[1]);
		dfs(s,remain-1);
	}
}
		

int main(){	
	
	string s;
	long long n;
	string t;
	cin>>s>>n>>t;
	
	dfs(s,min(4LL,n));
	
	cout<<(!S.count(t)?"SUCCESS":"FAILURE")<<endl;
	
	return 0;
	
}