#include <bits/stdc++.h>
#define rep(i,n) for(int i=0;i<(n);++i)
#define all(a) (a).begin(),(a).end()
#define dunk(a) cout << (a) << endl
using namespace std;
typedef long long ll;

int main() {
	ios::sync_with_stdio(false);
	cin.tie(0);
	string S, T;
	ll n;
	cin >> S >> n >> T;

	int a = 0, b = 0;
	rep(i, 3) {
		if (S[i] == 'o') a++;
		if (T[i] == 'o') b++;
	}
	if (a != b) {
		dunk("SUCCESS");
		return 0;
	}

	if (n >= 2) {
		dunk("FAILURE");
		return 0;
	}

	if (n == 0) {
		if (S == T) dunk("FAILURE");
		else dunk("SUCCESS");
		return 0;
	}

	if (S == T) {
		dunk("SUCCESS");
		return 0;
	}

	if (S == "oxo" || S == "xox") {
		dunk("FAILURE");
	}
	else {
		if (S == "xxo" && T == "oxx") {
			dunk("SUCCESS");
			return 0;
		}
		if (S == "xxo") {
			dunk("FAILURE");
			return 0;
		}
		if ((S == "xoo" && T == "oox") || (S == "oox" && T == "xoo")) {
			dunk("SUCCESS");
		}
		else {
			dunk("FAILURE");
		}
	}

	return 0;
}