bef = list(raw_input()) N = input() aft = list(raw_input()) if bef.count(['x']) != aft.count(['x']): print 'SUCCESS' exit() if N == 0: if bef == aft: print 'FAILURE' exit() else: print 'SUCCESS' exit() if N == 1: possible = [[bef[1], bef[0], bef[2]], [bef[0], bef[2], bef[1] ]] if aft in possible: print 'FAILURE' exit() else: print 'SUCCESS' exit() elif N > 1: if N % 2 == 0: possible = [[bef[0], bef[1], bef[2]], [bef[1], bef[2], bef[0]], [bef[2], bef[0], bef[1]]] else: possible = [[bef[2], bef[1], bef[0]], [bef[1], bef[0], bef[2]], [bef[0], bef[2], bef[1]]] if aft in possible: print 'FAILURE' else: print 'SUCCESS'