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

const string msg[] = { "FAILURE", "SUCCESS" };

signed main(){
  string s1; cin >> s1;
  int N; cin >> N;
  string s2; cin >> s2;
  int ocnt = 0;
  for( int i = 0; i < s1.size(); ++i )
    ocnt += s1[ i ] == 'o';
  for( int i = 0; i < s2.size(); ++i )
    ocnt -= s2[ i ] == 'o';
  if( ocnt != 0 )
    cout << msg[ 1 ] << endl, exit( 0 );
  if( N == 0 )
    cout << msg[ s1 != s2 ] << endl, exit( 0 );
  if( N >= 2 )
    cout << msg[ 0 ] << endl, exit( 0 );
  if( N == 1 ){
    for( int i = 0; i < s1.size(); ++i ){
      string t = s1;
      swap( t[ i ], t[ i + 1 ] );
      if( t == s2 )
        cout << msg[ 0 ] << endl, exit( 0 );
    }
    cout << msg[ 1 ] << endl, exit( 0 );
  }
  return 0;
}