def f(x): if x == "o": return 1 else: return 0 S = list(input()) N = int(input()) T = list(input()) S = list(map(f, S)) T = list(map(f, T)) if S.count(1) != T.count(1): print("SUCCESS") exit() if S == T: print("FAILURE") exit() ans = [abs(S[i] - T[i]) for i in range(3)] if ans == [1, 0, 1]: if N >= 2: print("FAILURE") else: print("SUCCESS") else: if N >= 1: print("FAILURE") else: print("SUCCESS")