#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int i = 0; i < (n);i++)
#define sz(x) int(x.size())
typedef long long ll;
typedef pair<int,int> P;
constexpr int INF = 2e9;

int main() {
  string s, t;
  int n;
  cin >> s >> n >> t;
  int ok = 0;
  if (n == 0) {
    if (s != t) ok = 1;
  } else if (n == 1) {
    string l, r;
    l = r = s;
    swap(l[0], l[1]);
    swap(r[1], r[2]);
    if (t != l && t != r) ok = 1;
  } else {
    if (count(s.begin(), s.end(),'o') == count(t.begin(), t.end(), 'o')) ok = 1;
  }

  if (ok) cout << "SUCCESS" << endl;
  else cout << "FAILURE" << endl;
  return 0;
}