S = input()
N = int(input())
T = input()

sc = S.count('o')
tc = T.count('o')
if sc != tc:
    print('SUCCESS')
    exit()
elif sc == 3 or sc == 0:
    if S == T:
        print('FAILURE')
    else:
        print('SUCCESS')
    exit()

if sc == 1:
    x = 'o'
else:
    x = 'x'

an = []
for a in [S, T]:
    for i in range(3):
        if a[i] == x:
            an.append(i)

if an[0] == 1 and an[1] == 1 and N == 1:
    print('SUCCESS')
elif max(an) - min(an) > N:
    print('SUCCESS')
else:
    print('FAILURE')