#include<stdio.h>
int main()
{
	char sb[4];
	scanf("%s", sb);
	long long int n;
	scanf("%lld", &n);
	char sa[4];
	scanf("%s", sa);
	int cnt1[2] = { 0,0 }, cnt2[2] = { 0,0 };
	int i, j;
	for (i = 0; i < 3; i++)
	{
		if (sb[i] == 'o')
			cnt1[0]++;
		else
			cnt1[1]++;
	}
	for (i = 0; i < 3; i++)
	{
		if (sa[i] == 'o')
			cnt2[0]++;
		else
			cnt2[1]++;
	}
	if (cnt1[0] != cnt2[0])
	{
		printf("SUCCESS\n");
		return 0;
	}
	if (cnt1[0] == 0 || cnt1[0] == 3)
	{
		printf("FAILURE\n");
		return 0;
	}
	if (n >= 2)
	{
		printf("FAILURE\n");
		return 0;
	}
	if (n == 0)
	{
		for (i = 0; i < 3; i++)
		{
			if (sb[i] != sa[i])
			{
				printf("SUCCESS\n");
				return 0;
			}
		}
		printf("FAILURE\n");
		return 0;
	}
	sb[0] ^= sb[1];
	sb[1] ^= sb[0];
	sb[0] ^= sb[1];
	j = 0;
	for (i = 0; i < 3; i++)
		if (sb[i] != sa[i])
			j++;
	if (j == 0)
	{
		printf("FAILURE\n");
		return 0;
	}
	sb[0] ^= sb[1];
	sb[1] ^= sb[0];
	sb[0] ^= sb[1];
	sb[2] ^= sb[1];
	sb[1] ^= sb[2];
	sb[2] ^= sb[1];
	j = 0;
	for (i = 0; i < 3; i++)
		if (sb[i] != sa[i])
			j++;
	if(j==0)
		printf("FAILURE\n");
	else
		printf("SUCCESS\n");
	return 0;
}