#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_STR_LEN		3										// 文字数
#define D_PTN_MAX		3										// 最大パターン数

// 内部変数
static FILE *szpFpI;											// 入力
static char sc1Bef[D_STR_LEN + 5];								// 操作前
static char sc1Aft[D_STR_LEN + 5];								// 操作後
static int siOCnt;												// 操作回数
static char sc2Ptn[D_PTN_MAX][D_STR_LEN + 5];					// パターン
static int siPCnt;												// パターン数

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
#endif

// パターン - 追加
int
fAddPtn(
	int piNo1					// <I> １文字目
	, int piNo2					// <I> ２文字目
	, int piNo3					// <I> ３文字目
)
{
	sc2Ptn[siPCnt][0] = sc1Bef[piNo1];
	sc2Ptn[siPCnt][1] = sc1Bef[piNo2];
	sc2Ptn[siPCnt][2] = sc1Bef[piNo3];
	siPCnt++;

	return 0;
}

// 実行メイン
int
fMain(
	int piTNo					// <I> テスト番号 1～
)
{
	int i, liRet;
	char lc1Buf[1024], lc1Out[1024];

	// データ - 初期化
	siPCnt = 0;													// パターン数

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", piTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", piTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 操作前 - 取得
	fgets(sc1Bef, sizeof(sc1Bef), szpFpI);

	// 操作回数 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siOCnt);

	// 操作後 - 取得
	fgets(sc1Aft, sizeof(sc1Aft), szpFpI);

	// パターン - セット
	if (siOCnt < 1) {					// ０回
		fAddPtn(0, 1, 2);
	}
	else if (siOCnt == 1) {				// １回
		fAddPtn(1, 0, 2);
		fAddPtn(0, 2, 1);
	}
	else if (siOCnt % 2 == 0) {			// 偶数回
		fAddPtn(0, 1, 2);
		fAddPtn(1, 2, 0);
		fAddPtn(2, 0, 1);
	}
	else {								// 奇数回
		fAddPtn(1, 0, 2);
		fAddPtn(0, 2, 1);
		fAddPtn(2, 1, 0);
	}

	// 一致チェック
	liRet = 0;
	for (i = 0; i < siPCnt; i++) {
		if (!memcmp(sc1Aft, sc2Ptn[i], D_STR_LEN)) {
			liRet = -1;
			break;
		}
	}

	// 結果 - セット
	if (liRet == 0) {
		sprintf(lc1Out, "SUCCESS\n");
	}
	else {
		sprintf(lc1Out, "FAILURE\n");
	}

	// 結果 - 表示
#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, lc1Out)) {
		siRes = -1;
	}
#else
	printf("%s", lc1Out);
#endif

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", piTNo);
	}
	else {
		printf("NG %d\n", piTNo);
	}
#endif

	return 0;
}

int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		fMain(i);
	}
#else
	fMain(0);
#endif

	return 0;
}