s_before = gets.chomp
n = gets.to_i
s_after = gets.chomp

before_o = s_before.count('o')
after_o = s_after.count('o')

if before_o != after_o
  puts :SUCCESS
else
  e = before_o < 3 - before_o ? 'o' : 'x'
  d = (s_before.index(e) - s_after.index(e)).abs
  puts(d <= n && (n - d).even? ? :FAILURE : :SUCCESS)
end