#include "bits/stdc++.h"

using namespace std;

using ll = long long;
using ld = long double;
using P = pair<int, int>;
constexpr ld EPS = 1e-12;
constexpr int INF = numeric_limits<int>::max() / 2;
constexpr int MOD = 1e9 + 7;

int main()
{
    cin.tie(0);
    ios::sync_with_stdio(false);

    string s1, s2;
    int n;
    cin >> s1 >> n >> s2;
    int cnt1 = 0, cnt2 = 0;
    for (int i = 0; i < 3; i++)
    {
        if (s1[i] == 'o')
            cnt1++;
        if (s2[i] == 'o')
            cnt2++;
    }
    if (cnt1 != cnt2)
    {
        cout << "SUCCESS" << endl;
        return 0;
    }
    if (cnt1 == 0 || cnt1 == 3)
    {
        cout << "FAILURE" << endl;
        return 0;
    }
    if (n == 0)
    {
        if (s1 == s2)
            cout << "FAILURE" << endl;
        else
            cout << "SUCCESS" << endl;
        return 0;
    }
    if (n >= 2)
    {
        cout << "FAILURE" << endl;
        return 0;
    }
    if (s1 == "oxx" && s2 == "xxo")
    {
        cout << "SUCCESS" << endl;
    }
    else if (s1 == "xxo" && s2 == "oxx")
    {
        cout << "SUCCESS" << endl;
    }
    else if (s1 == "xoo" && s2 == "oox")
    {
        cout << "SUCCESS" << endl;
    }
    else if (s1 == "oox" && s2 == "xoo")
    {
        cout << "SUCCESS" << endl;
    }
    else if (s1 == "xox" && s2 == "xox")
    {
        cout << "SUCCESS" << endl;
    }
    else if (s1 == "oxo" && s2 == "oxo")
    {
        cout << "SUCCESS" << endl;
    }
    else
    {
        cout << "FAILURE" << endl;
    }
}