s_b = gets.chomp
n = gets.to_i
s_a = gets.chomp
if s_b.count('o') != s_a.count('o')
    puts "SUCCESS"
else
    tmp = s_b.count('o')
    if  tmp == 0 || tmp == 3
        puts "FAILURE"
    else
        if tmp == 1
            s_b.gsub!(/./){$& == 'o' ? 'x' : 'o'}
            s_a.gsub!(/./){$& == 'o' ? 'x' : 'o'}
        end
        dis = (s_b.index('x') - s_a.index('x')).abs
        if s_b == 'oxo'
            if 2 - dis - n == 1
                puts "SUCCESS"
            else
                puts "FAILURE"
            end
        else
            if n < dis
                puts "SUCCESS"
            else
                puts "FAILURE"
            end
        end
    end
end