S = raw_input()
N = input()
T = raw_input()

if S.count('o') != T.count('o'):
    print "SUCCESS"
elif S.count('o') == 0 or S.count('o') == 3:
    print "FAILURE"
else:
    target = 'o' if S.count('o') == 1 else 'x'
    if S[1] == target and S == T:
        print "SUCCESS"
    else:
        print "SUCCESS" if abs(S.index(target) - T.index(target)) > N else "FAILURE"