# -*- coding: utf-8 -*- from collections import Counter s1 = input() N = int(input()) s2 = input() cs1 = Counter(s1) cs2 = Counter(s2) if cs1 != cs2: # カウンターが異なれば成功 print('SUCCESS') elif cs1['o'] * cs1['x'] == 0: # 以下はカウンターが等しいとき # すべて'o', すべて'x'ならすべてあり得るので失敗 print('FAILURE') else: # ('o', 'x') = (1, 2), (2, 1)のとき if N >= 2: print('FAILURE') elif N == 0: if s1 == s2: print('FAILURE') else: print('SUCCESS') else: # N == 1 # 少ない方の文字を取得 c = '' if cs1['o'] == 1: c = 'o' else: c = 'x' if s1.index(c) == s2.index(c) == 1: print('SUCCESS') elif s1.index(c) % 2 == 0 and abs(s1.index(c) - s2.index(c) == 2): print('SUCCESS') else: print('FAILURE')