sb = raw_input() N = input() sa = raw_input() bc = sb.count("o") ac = sa.count("o") if bc != ac: print "SUCCESS" elif bc == 0 or bc == 3: print "FAILURE" else: if bc == 1: b = sb.index("o") a = sa.index("o") else: b = sb.index("x") a = sa.index("x") if N < 2: print "FAILURE" if N == abs(a-b) else "SUCCESS" else: print "FAILURE" if abs(a-b)^1 == N^1 else "SUCCESS"