#include<bits/stdc++.h>
using namespace std;
using Int = long long;
//INSERT ABOVE HERE
signed main(){
  string s,t;
  Int k;
  cin>>s>>k>>t;
  Int n=s.size();
  Int x=0,y=0;
  for(Int i=0;i<n;i++){
    if(s[i]=='o') x++;
    if(t[i]=='o') y++;
  }
  auto OK=[](){cout<<"SUCCESS"<<endl;exit(0);};
  auto NG=[](){cout<<"FAILURE"<<endl;exit(0);};
  if(x!=y) OK();
  if(k>=20) NG();
  function<void(string,Int)> dfs=
    [&](string v,Int d){
      if(v==t) NG();
      if(!d) return;
      {
	swap(v[0],v[1]);
	dfs(v,d-1);
	swap(v[0],v[1]);
      }
      {
	swap(v[1],v[2]);
	dfs(v,d-1);
	swap(v[1],v[2]);
      }
    };
  dfs(s,k);
  OK();
  return 0;
}