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

template<typename T>
void fin(T a){
  cout<<a<<endl;
  exit(0);
}

signed main(){
  string s,t;int n;cin>>s>>n>>t;
  int a=0,b;
  for(char p:s)a+=p=='o';b=a;
  for(char p:t)a-=p=='o';
  if(a)fin("SUCCESS");
  if(b==0||b==3)fin("FAILURE");
  if(b==1){
    int c,d;
    for(int i=0;i<3;i++)if(s[i]=='o')c=i;
    for(int i=0;i<3;i++)if(t[i]=='o')d=i;
    if(c>d)swap(c,d);
    if(d-c==2&&n==1)fin("SUCCESS");
    if(((d+c)&1)^(n&1))fin("SUCCESS");
    fin("FAILURE");
  }
  else{
    int c,d;
    for(int i=0;i<3;i++)if(s[i]=='x')c=i;
    for(int i=0;i<3;i++)if(t[i]=='x')d=i;
    if(c>d)swap(c,d);
    if(d-c==2&&n==1)fin("SUCCESS");
    if(((d+c)&1)^(n&1))fin("SUCCESS");
    fin("FAILURE");
  }
}