#include <bits/stdc++.h>
#define GET_MACRO(a, b, c, NAME, ...) NAME
#define rep(...) GET_MACRO(__VA_ARGS__, rep3, rep2)(__VA_ARGS__)
#define rep2(i, a) rep3 (i, 0, a)
#define rep3(i, a, b) for (int i = (a); i < (b); i++)
#define repr(...) GET_MACRO(__VA_ARGS__, repr3, repr2)(__VA_ARGS__)
#define repr2(i, a) repr3 (i, 0, a)
#define repr3(i, a, b) for (int i = (b) - 1; i >= (a); i--)
#define chmin(a, b) ((b) < a && (a = (b), true))
#define chmax(a, b) (a < (b) && (a = (b), true))
using namespace std;
typedef long long ll;

bool dp[505050][2][2][2];

int main() {
	string s, t;
	ll N;
	cin >> s >> N >> t;
	dp[0][s[0] == 'o'][s[1] == 'o'][s[2] == 'o'] = true;
	chmin(N, 500000);
	rep (i, N) rep (j, 2) rep (k, 2) rep (l, 2) {
		dp[i + 1][k][j][l] |= dp[i][j][k][l];
		dp[i + 1][j][l][k] |= dp[i][j][k][l];
	}
	if (dp[N][t[0] == 'o'][t[1] == 'o'][t[2] == 'o']) {
		cout << "FAILURE" << endl;
	} else {
		cout << "SUCCESS" << endl;
	}
	return 0;
}