#include<bits/stdc++.h>
using namespace std;
#define int long long
const int INF = 1e9;
const int maxN = 1e2 + 6.9;
int n, k;
char a[4][maxN];
bool ok(int i, int j, int j2, int d2) {
	if (j == 3 && j2 == 3) return i * i >= d2 && 4 >= d2;
	if (j < 3 && j2 < 3) return i * i + (j - j2) * (j - j2) >= d2;
	if (j < 3) swap(j, j2);
	int dj = min(j2, 3 - j2);
	return i * i + dj * dj >= d2;
}
bool check(int d2) {
	vector<vector<int>> dp(n + 1, vector<int>(4, 0));
	for (int i = 1; i <= n; i++)
	for (int j = 0; j < 5; j++) {
		if (j < 3 && a[j][i] == '#') continue;
		if (j == 3 && (a[0][i] == '#' || a[2][i] == '#' || d2 > 4)) continue;
		int num = j == 3 ? 2 : 1;
		dp[i][j] = num;

		for (int i2 = i - 1; i2 >= 0; i2--)
		for (int j2 = 0; j2 < 4; j2++) {
			if (d2 == 5) {
				if (i2 == i - 1) continue;
				if (!ok(i - i2, j, j2, d2)) continue;
				int good = 0;
				for (int j3 = 0; j3 < 3; j3++)
				if (ok(1, j, j3, d2) && ok(i - 1 - i2, j2, j3, d2) && a[j3][i - 1] == '.') good = 1;
				dp[i][j] = max(dp[i][j], dp[i2][j2] + num + good);
			}
			else if (ok(i - i2, j, j2, d2)) {
				if (dp[i2][j2] + num > dp[i][j])
					dp[i][j] = dp[i2][j2] + num;
			}
		}
		
		if (dp[i][j] >= k) return 1;
	}
	// for (int j = 0; j < 4; j++) {
	// 	for (int i = 1; i <= n; i++) cout << dp[i][j] << ' ';
	// 	cout << '\n';
	// }
	return 0;
}
int bin(int l, int r) {
	while (l < r) {
		int mid = (r - l) / 2 + l + 1;
		if (check(mid)) l = mid;
		else r = mid - 1;
	}
	return l;
}
signed main() {
	ios::sync_with_stdio(0);
	cin.tie(0); cout.tie(0);
	cin >> n >> k;
	int num = 0;
	for (int i = 0; i < 3; i++) {
		string s;
		cin >> s;
		for (int j = 1; j <= n; j++) {
			a[i][j] = s[j - 1];
			if (s[j - 1] == '.') num++;
		}
	}

	if (num < k) return cout << -1, 0;
	double ans = 1;
	// cout << check(21);
	int res = bin(2, INF);
	if (check(res)) ans = sqrt(res);
	cout << fixed << setprecision(7) << ans;
}