def possible(sb, n, sa):
    bo = 0
    for c in sb:
        if c == 'o':
            bo += 1
    ao = 0
    for c in sa:
        if c == 'o':
            ao += 1
    if bo != ao:
        return False
    elif bo == 0 or bo == 3:
        return True
    pb = 0
    for i,c in enumerate(sb):
        if (bo == 1 and c == 'o') or (bo == 2 and c == 'x'):
            pb = i
            break
    pa = 0
    for i,c in enumerate(sa):
        if (bo == 1 and c == 'o') or (bo == 2 and c == 'x'):
            pa = i
            break
    d = abs(pb - pa)
    if d == 2:
        return n >= 2
    elif d == 1:
        return n >= 1
    elif d == 0:
        if pb == 1:
            return n != 1
        else:
            return True

sb = raw_input()
n = int(raw_input())
sa = raw_input()
if possible(sb, n, sa):
    print 'FAILURE'
else:
    print 'SUCCESS'