using System;
using System.Linq;

namespace No197_1{
    public class Program{
        public static void Main(string[] args){
            var sr = new StreamReader();
            //---------------------------------
            var before = sr.Next<string>();
            var n = sr.Next<int>();
            var after = sr.Next<string>();

            if(!before.OrderBy(c => c).SequenceEqual(after.OrderBy(c => c))){
                Console.WriteLine("SUCCESS");
                return;
            }

            if(n >= 2){
                Console.WriteLine("FAILURE");
                return;
            }

            if(n == 0){
                if(before != after)
                    Console.WriteLine("SUCCESS");
                else
                    Console.WriteLine("FAILURE");
                return;
            }

            if((before == "oox" && after == "xoo") || (before == "xoo" && after == "oox")
             ||(before == "xxo" && after == "oxx") || (before == "oxx" && after == "xxo")
             ||(before == "oxo" && after == "oxo") || (before == "xox" && after == "xox")) {
                Console.WriteLine("SUCCESS");
                return;
            }

            Console.WriteLine("FAILURE");
            //---------------------------------
        }
    }

    public class StreamReader{
        private readonly char[] _c = {' '};
        private int _index = -1;
        private string[] _input = new string[0];

        public T Next<T>(){
            if(_index == _input.Length - 1){
                _index = -1;
                while(true){
                    string rl = Console.ReadLine();
                    if(rl == null){
                        if(typeof(T).IsClass) return default(T);
                        return (T)typeof(T).GetField("MinValue").GetValue(null);
                    }
                    if(rl != ""){
                        _input = rl.Split(_c, StringSplitOptions.RemoveEmptyEntries);
                        break;
                    }
                }
            }
            return (T)Convert.ChangeType(_input[++_index], typeof(T), System.Globalization.CultureInfo.InvariantCulture);
        }
    }
}