#include <bits/stdc++.h>
using namespace std;
#define REP(i, n)           for(int(i)=0;(i)<(n);++(i))

int main(){
    string s,d; int n;
    cin >> s >> n >> d;

    cout << ([&]()->bool{
        string ss = s, dd = d;
        sort(ss.begin(), ss.end());
        sort(dd.begin(), dd.end());
        if(ss != dd) return true;
        if(n == 0) return (s != d) ? true : false;
        if(n == 1){
            swap(s[0],s[1]); if(s==d) return false; swap(s[0],s[1]);
            swap(s[1],s[2]); if(s==d) return false; swap(s[1],s[2]);
            return true;
        }
        return false;
    }() ? "SUCCESS" : "FAILURE") << endl;
}