#include<bits/stdc++.h>
using namespace std;
#define FOR(i,s,t) for(int i=(s),_t=(t); i<=_t; ++i)
const int N=105;
int n,K;
int lim;
char a[3][N];
int f[N][N][N];
int d0,d1,d2;
int dfs(int p0,int p1,int p2) {
    p0=min(p0,n+1);
    p1=min(p1,n+1);
    p2=min(p2,n+1);
    if(p0==n+1 && p1==n+1 && p2==n+1) return 0;
    int &r=f[p0][p1][p2];
    if(r!=-1) return r;
    r=0;
    if(p0<=p1 && p0<=p2) {
        r=dfs(p0+1,p1,p2);
        if(a[0][p0]=='.') {
            r=max(r,1+dfs(p0+d0,max(p0+d1,p1),max(p0+d2,p2)));
        }
    } else if(p1<=p2) {
        r=dfs(p0,p1+1,p2);
        if(a[1][p1]=='.') {
            r=max(r,1+dfs(max(p1+d1,p0),p1+d0,max(p1+d1,p2)));
        }
    } else {
        r=dfs(p0,p1,p2+1);
        if(a[2][p2]=='.') {
            r=max(r,1+dfs(max(p2+d2,p0),max(p2+d1,p1),p2+d0));
        }
    }
    return r;
}
int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cout << fixed << setprecision(9);
    cin >> n >> K;
    FOR(i,0,2) cin >> a[i]+1;
    int L=1,R=99*99+2*2,res=0;
    while(L<=R) {
        lim=L+R>>1;
        d0=d1=d2=0;
        while(d0*d0<lim) d0++;
        while(d1*d1+1*1<lim) d1++;
        while(d2*d2+2*2<lim) d2++;
        memset(f,-1,sizeof(f));
        if(dfs(1,1,1)>=K) res=lim,L=lim+1;
        else R=lim-1;
    }
    if(res==0) cout << "-1\n";
    else cout << sqrt(res) << '\n';
    return 0;
}