a = gets.strip
n = gets.to_i
b = gets.strip
ca = 0
cb = 0
a.each_char{|x| ca += 1 if x == "o"}
b.each_char{|x| cb += 1 if x == "o"}
if ca != cb
    puts "SUCCESS"
    exit
elsif (ca == 3 && cb == 3) || (ca == 0 && cb == 0)
    puts "FAILURE"
    exit
end
pa = 0
pb = 0
cc = (ca == 1) ? "o" : "x"
a.length.times{|i| pa = i if a[i] == cc}
b.length.times{|i| pb = i if b[i] == cc}
diff = (pa - pb).abs
if diff == 0
    if n == 0
        puts "FAILURE"
    elsif n == 1
        if pa == 1
            puts "SUCCESS"
        else
            puts "FAILURE"
        end
    else
        puts "FAILURE"
    end
elsif diff == 1
    if n == 0
        puts "SUCCESS"
    else
        puts "FAILURE"
    end
elsif diff == 2
    if n == 0 || n == 1
        puts "SUCCESS"
    else
        puts "FAILURE"
    end
end