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

int main() {
    string S_bef, S_aft;
    int N;
    cin >> S_bef >> N >> S_aft;

    bool flag = false;
    if (N == 0)
        flag = S_bef == S_aft;
    else {
        int cnt_bef = 0, cnt_aft = 0;
        int parity_bef = 0, parity_aft = 0;
        for (int i = 0; i < 3; i++) {
            cnt_bef += S_bef[i] == 'o';
            cnt_aft += S_aft[i] == 'o';
        }
        if (cnt_aft == cnt_bef) {
            if (N == 1) {
                swap(S_aft[0], S_aft[1]);
                flag |= S_bef == S_aft;
                swap(S_aft[0], S_aft[1]);
                swap(S_aft[2], S_aft[1]);
                flag |= S_bef == S_aft;
            } else
                flag = true;
        }
    }

    cout << (flag ? "FAILURE" : "SUCCESS") << endl;
}