a = raw_input()
N = input()
b = raw_input()

o1, o2 = a.count('o'), b.count('o')
if o1 == o2 == 1 or o1 == o2 == 2:
    ox = 'o' if o1 == 1 else 'x'
    diff = abs(a.index(ox)-b.index(ox))
    if diff % 2 == N % 2 and diff <= N:
        ans = 'FAILURE'
    else:
        ans = 'SUCCESS'
elif o1 == o2 == o3:
    ans = 'FAILURE'
else:
    ans = 'SUCCESS'
print ans