module main;
// https://yukicoder.me/problems/no/197/editorial より
import std;

void main()
{
	// 入力
	auto S = readln.chomp;
	long N = readln.chomp.to!long;
	auto T = readln.chomp;
	// 答えの計算と出力
	if (S.count('o') != T.count('o')) {
		writeln("SUCCESS");
	}
	else if (N == 0) {
		if (S == T)
			writeln("FAILURE");
		else
			writeln("SUCCESS");
	}
	else if (N == 1) {
		// Sの左側2つを入れ替えたものとSの右側2つを入れ替えたものとをそれぞれ比べる
		if ("" ~ S[1] ~ S[0] ~ S[2] == T || "" ~ S[0] ~ S[2] ~ S[1] == T)
			writeln("FAILURE");
		else
			writeln("SUCCESS");
	}
	else {	// N >= 2
		writeln("FAILURE");
	}
}