#include<bits/stdc++.h>
#define pb push_back
#define x first
#define y second
#define pdd pair<double,double>
#define pii pair<int,int>
#define pll pair<LL,LL>
#define mp make_pair
#define LL long long
#define ULL unsigned long long
#define sqr(x) ((x)*(x))
#define pi acos(-1)
#define MEM(x) memset(x,0,sizeof(x))
#define MEMS(x) memset(x,-1,sizeof(x))
using namespace std;
int dp[105][105][105];
char c[105][105];
void solve(int T){
    int n,k;
    scanf("%d %d",&n,&k);
    vector<LL> ans;
    for(int i = 0;i<n;i++){
        for(int j = 0;j<3;j++){
            if(i*i+j+j!=1&&(i||j))
            ans.pb(i*i+j*j);
        }
    }
    int tot=0;
    for(int i = 0;i<3;i++){
        scanf("%s",c[i]+1);
        for(int j = 1;j<=n;j++){
            if(c[i][j]=='.')tot++;
        }
    }
    if(tot<k){
        printf("-1\n");
        return;
    }
    sort(ans.begin(),ans.end());
    int Min=-1,Max=ans.size();
    while(Max>Min+1){
        int mid=ans[(Max+Min)/2];
    //    printf("%d\n",mid);
        MEM(dp);
        for(int i = 1;i<=n;i++){
            
            int aa=0;
            while((i-aa-1)*(i-aa-1)>=mid&&aa<i)aa++;
            if(c[0][i]=='.'){
                for(int j = 0;(1+(i-j)*(i-j)>=mid||j==0)&&j<i;j++){
                    for(int k =0;(4+(i-k)*(i-k)>=mid||k==0)&&k<i;k++){
                        dp[i][j][k]=max(dp[aa][j][k]+1,dp[i][j][k]);
                    }
                }
            }
            if(c[1][i]=='.'){
                for(int j = 0;(1+(i-j)*(i-j)>=mid||j==0)&&j<i;j++){
                    for(int k =0;(1+(i-k)*(i-k)>=mid||k==0)&&k<i;k++){
                        //if(mid==8)
                       // printf("??%d %d %d %d\n",j,i,aa,k);
                        dp[j][i][k]=max(dp[j][aa][k]+1,dp[j][i][k]);
                    }
                }
            }
            if(c[2][i]=='.'){
                for(int j = 0;(1+(i-j)*(i-j)>=mid||j==0)&&j<i;j++){
                    for(int k =0;(4+(i-k)*(i-k)>=mid||k==0)&&k<i;k++){
                        dp[k][j][i]=max(dp[k][j][aa]+1,dp[k][j][i]);
                    }
                }
            }
            if(c[0][i]=='.'&&c[2][i]=='.'&&mid<=4){
                for(int j = 0;1+(i-j)*(i-j)>=mid||j==0;j++){
                    dp[i][j][i]=max(dp[aa][j][aa]+2,dp[i][j][i]);
                   // printf("%d %d %d %d %d %d\n",i,j,i,aa,dp[i][j][i],dp[aa][j][aa]);
                }
            }
            for(int j = 0;j<=i;j++){
                for(int k=0;k<=i;k++){
                    if(i)
                    dp[i][j][k]=max(dp[i][j][k],dp[i-1][j][k]);
                    if(j)
                    dp[i][j][k]=max(dp[i][j][k],dp[i][j-1][k]);
                    if(k)
                    dp[i][j][k]=max(dp[i][j][k],dp[i][j][k-1]);
                    swap(i,j);
                       if(i)
                    dp[i][j][k]=max(dp[i][j][k],dp[i-1][j][k]);
                    if(j)
                    dp[i][j][k]=max(dp[i][j][k],dp[i][j-1][k]);
                    if(k)
                    dp[i][j][k]=max(dp[i][j][k],dp[i][j][k-1]);
                    swap(i,j);
                    swap(i,k);
                        if(i)
                    dp[i][j][k]=max(dp[i][j][k],dp[i-1][j][k]);
                    if(j)
                    dp[i][j][k]=max(dp[i][j][k],dp[i][j-1][k]);
                    if(k)
                    dp[i][j][k]=max(dp[i][j][k],dp[i][j][k-1]);
                    swap(i,k);
                }
            }
        }
       /* if(mid==8)
        for(int i = 0;i<=3;i++){
            for(int j = 0;j<=3;j++){
                for(int k=0;k<=3;k++){
                    if(dp[i][j][k]>=2)printf("%d %d %d\n",i,j,k);
                }
            }
        }*/
       // printf("%d %d %d %d\n",dp[1][0][1],dp[3][0][1],dp[1][0][3],dp[3][0][3]);
       // printf("%d\n",dp[n][n][n]);
        if(dp[n][n][n]>=k)Min=(Max+Min)/2;
        else Max=(Max+Min)/2;
    }
    if(Min==-1){
        printf("1\n");
        return;
    }
    printf("%.12f\n",sqrt(ans[Min]));

} 

int main(){
    int t=1;
     //scanf("%d",&t);
    for(int i = 1;i<=t;i++){
     //   cerr<<i<<endl;
        solve(i);
    }
}
/*
1227076727
1919786269
1261786217
1924134973
1051246577

*/