#include<bits/stdc++.h>
using lint=long long;
void ok(){
    std::cout<<"SUCCESS"<<'\n';
    exit(0);
}
void err(){
    std::cout<<"FAILURE"<<'\n';
    exit(0);
}
int main(){
    std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false);
    std::cout.setf(std::ios_base::fixed);std::cout.precision(15);
    std::string s,t;lint X;
    std::cin>>s>>X>>t;
    lint count=std::count(s.begin(),s.end(),'o');
    if(count!=std::count(t.begin(),t.end(),'o'))ok();
    if(count==0||count==3)err();
    lint x=std::find(s.begin(),s.end(),count==1?'o':'x')-s.begin();
    lint y=std::find(t.begin(),t.end(),count==1?'o':'x')-t.begin();
    if(std::abs(x-y)<=X&&!(x==1&&y==1&&X==1))err();
    else ok();
}