# -*- coding: utf-8 -*-

sb, = map(str, raw_input().split())
n, = map(int, raw_input().split())
sa, = map(str, raw_input().split())

dic = {'x': 0, 'o': 0}
for s in sb: dic[s] += 1
dicm = dic.copy()
for s in sa: dic[s] -= 1

# 数が変われば手品成功
if dic['x'] != 0 or dic['o'] != 0:
    print 'SUCCESS'
    exit()

# 0回: 変わっていれば成功
if n == 0:
    print 'SUCCESS' if sb != sa else 'FAILURE'
    exit()

odd = 'x' if dicm['x'] % 2 == 1 else 'o'
nodd = n % 2 == 1

odd_pos_b = sb.find(odd)
odd_pos_a = sa.find(odd)

diff = abs(odd_pos_a - odd_pos_b)

if n >= diff:
    # 移動回数が差分以上ならあり得る
    if n == 1 and diff == 0:
        if odd_pos_b == 1:
            # ありえない
            print 'SUCCESS'
        else:
            print 'FAILURE'
        exit()
    print 'FAILURE'
else:
    print 'SUCCESS'