#include <iostream>
#include <iomanip>

typedef long long ll;

int main(void)
{
  std::cin.tie(0);
  std::ios::sync_with_stdio(false);
  std::cout << std::fixed << std::setprecision(8);
  std::string s_bef;
  ll n;
  std::string s_aft;
  std::cin >> s_bef >> n >> s_aft;
  int cnt_b = 0, cnt_a = 0;
  for (int i = 0; i < 3; ++i) {
    if (s_bef[i]=='o') cnt_b++;
    if (s_aft[i]=='o') cnt_a++;
  }
  if (cnt_b != cnt_a) {std::cout << "SUCCESS" << std::endl; return 0;}
  if ((s_bef=="ooo" && s_aft=="ooo") || (s_bef=="xxx" && s_aft=="xxx")) {
    std::cout << "FAILURE" << std::endl; return 0;
  }
  int idx_b, idx_a;
  for (int i = 0; i < 3; ++i) {
    if (s_bef[i] == (cnt_b==1 ? 'o' : 'x')) idx_b = i;
    if (s_aft[i] == (cnt_b==1 ? 'o' : 'x')) idx_a = i;
  }
  if (n==0) {
    std::cout << (idx_b != idx_a ? "SUCCESS" : "FAILURE") << std::endl;
    return 0;
  }
  if (n==1) {
    std::cout << ((idx_b==1 && abs(idx_b-idx_a)!=1) ? "SUCCESS" : "FAILURE") << std::endl;
    return 0;
  }
  std::cout << (abs(idx_b-idx_a) > n ? "SUCCESS" : "FAILURE") << std::endl;
  return 0;
}