using System;
using System.Collections.Generic;
using System.Text;
using System.Linq;
 
class Program
{
    public void Proc()
    {
        Reader.IsDebug = false;
        string startPattern = Reader.ReadLine();
        ulong procCount = ulong.Parse(Reader.ReadLine());
        string endPattern = Reader.ReadLine();
        
        bool isSccusess = this.IsSccess(startPattern, procCount, endPattern);
        
        string ans = isSccusess?"SUCCESS":"FAILURE";
        Console.WriteLine(ans);

    }
    
    private bool IsSccess(string startPattern, ulong procCount, string endPattern) {
        if(startPattern.Where(a=> a == 'o').Count() != endPattern.Where(a=> a == 'o').Count()) {
            return true;
        }
        if(procCount == 0) {
            if(startPattern.Equals(endPattern)) {
                return false;
            }
            return true;
        }
        if(procCount % 2 == 0) {
            if(startPattern.Equals(endPattern)) {
                return false;
            } else if(("" + startPattern[2] + startPattern[0] + startPattern[1]).Equals(endPattern)) {
                return false;
            } else if(("" + startPattern[1] + startPattern[2] + startPattern[0]).Equals(endPattern)) {
                return false;
            } else
            {
                return true;
            }
            
        }
        if(procCount == 1) {
            if(("" + startPattern[1] + startPattern[0] + startPattern[2]).Equals(endPattern)) {
                return false;
            } else if(("" + startPattern[0] + startPattern[2] + startPattern[1]).Equals(endPattern)) {
                return false;
            } else
            {
                return true;
            }
        }
        else
        {
            if(("" + startPattern[1] + startPattern[0] + startPattern[2]).Equals(endPattern)) {
                return false;
            } else if(("" + startPattern[0] + startPattern[2] + startPattern[1]).Equals(endPattern)) {
                return false;
            } else if(("" + startPattern[2] + startPattern[1] + startPattern[0]).Equals(endPattern)) {
                return false;
            } else if(("" + startPattern[1] + startPattern[0] + startPattern[2]).Equals(endPattern)) {
                return false;
            } else
            {
                return true;
            }
        }
    }
    


    public class Reader
    {
        public static bool IsDebug = true;
        private static String PlainInput = @"


oxo
2000000000
oxo


 
";
        private static System.IO.StringReader Sr = null;
        public static string ReadLine()
        {
            if (IsDebug)
            {
                if (Sr == null)
                {
                    Sr = new System.IO.StringReader(PlainInput.Trim());
                }
                return Sr.ReadLine();
            }
            else
            {
                return Console.ReadLine();
            }
        }
        public static int[] GetInt(char delimiter = ' ', bool trim = false)
        {
            string inptStr = ReadLine();
            if (trim)
            {
                inptStr = inptStr.Trim();
            }
            string[] inpt = inptStr.Split(delimiter);
            int[] ret = new int[inpt.Length];
            for (int i = 0; i < inpt.Length; i++)
            {
                ret[i] = int.Parse(inpt[i]);
            }
            return ret;
        }
    }
    static void Main()
    {
        Program prg = new Program();
        prg.Proc();
    }
}