Sbefore = gets.chomp()
N = gets.to_i
Safter = gets.chomp()
n = {"ooo" => ["ooo"], "oox" => ["oox", "oxo"], "oxo" => ["oox", "xoo"], "oxx" => ["oxx", "xox"],
     "xoo" => ["oxo", "xoo"], "xox" => ["oxx", "xxo"], "xxo" => ["xox", "xxo"], "xxx" => ["xxx"]}
ans = if ((N == 0 and Sbefore == Safter) or
          (N == 1 and n[Sbefore].include?(Safter)) or
          (N >= 2 and Sbefore.count("o") == Safter.count("o")))
        "FAILURE"
      else
        "SUCCESS"
      end
puts ans