#include <bits/stdc++.h>
using namespace std;

#define SZ(a) (int)a.size()
#define ALL(a) a.begin(), a.end()
#define FOR(i, a, b) for (int i = (a); i<(b); ++i)
#define RFOR(i, b, a) for (int i = (b)-1; i>=(a); --i)
#define MP make_pair
#define PB push_back
#define F first
#define S second

typedef long long LL;
typedef pair<int, int> PII;
typedef vector<int> VI;

const int N = 474;
const int inf = 4747474;
string v[3];
int dp[N][N][8][8];

int res[8] = {inf, inf, inf, 1, inf, 2, 1, 1};
int r[8][8];

void setmax(int& a, int b)
{
	a = max(a, b);
}
void setmin(int& a, int b)
{
	a = min(a, b);
}

void f(int mask1, int mask2)
{
	int ans = inf;
	FOR (i, 0, 3)
	{
		if (((mask1 >> i) & 1) == 0)
			continue;
		FOR (j, 0, 3)
		{
			if (((mask2 >> j) & 1) == 0)
				continue;
				
			int d1 = abs(i - j);
			setmin(ans, d1 * d1);
		}
	}
	r[mask1][mask2] = ans;
}


bool ok(int m, int i)
{
	FOR (j, 0, 3)
	{
		if (((m >> j) & 1) && v[j][i] == '#')
			return false;
	}
	return true;
}

int main()
{
	ios::sync_with_stdio(false);
	cin.tie(0);
	
	FOR (i, 0, 8)
	{
		FOR (j, 0, 8)
		{
			f(i, j);
		}
	}
	
	int n, k;
	cin >> n >> k;
	FOR (i, 0, 3)
	{
		string s;
		cin >> s;
		v[i] = "#" + s;
	}
	FOR (i, 0, n + 1)
	{
		FOR(cnt, 0, k + 1)
		{
			FOR (m1, 0, 8)
			{
				FOR (m2, 0, 8)
					dp[i][cnt][m1][m2] = 0;
			}
		}
	}
	dp[0][0][0][0] = inf;
	FOR (now, 1, n + 1)
	{
		FOR (cnt, 0, k + 1)
		{
			FOR (col, 0, now)
			{
				FOR (m, 0, 8)
				{
					if (!ok(m, now))
						continue;
					FOR (mask, 0, 8)
					{
						if(mask == 0 && col != 0)
							continue;
						FOR (pmask, 0, 8)
						{
							int d = now - col;
							if (d > 2 && pmask > 0) break;
							int cur = dp[col][cnt][mask][pmask];
							cur = min(cur, r[mask][m] + d * d);
							cur = min(cur, r[pmask][m] + (d + 1) * (d + 1));
							cur = min(cur, res[m]);
							setmax(dp[now][cnt + __builtin_popcount(m)][m][col + 1 == now ? mask : 0], cur);
						}
					}
				}
			}
		}
	}
	
	int ans = 0;
	FOR (i, 0, 8)
	{
		FOR (j, 0, 8)
		{
			ans = max(ans, dp[n][k][i][j]);
		}
	}
	if (ans < 0.1) {
		cout << "-1\n";
	}
	else {
		cout << fixed << setprecision(10) << sqrt(ans) << '\n';
	}
	
	return 0;
}