#include <stdio.h>

double f[5010][15010] = {};

double min(double a, double i, double b, double j) {
	return a / i < b / j ? a : b;
}

int main() {
	int n, p;
	int i, j;

	struct {
		int a, b, c;
	} arr[5010];

	scanf("%d%d", &n, &p);

	for (i = 1; i <= n; i++) {
		scanf("%d%d%d", &arr[i].a, &arr[i].b, &arr[i].c);
	}

	f[1][0] = arr[1].a;
	f[1][1] = arr[1].b;
	f[1][2] = arr[1].c;
	f[1][3] = 1.0;

	for (i = 2; i <= n; i++) {
		for (j = 0; j <= p; j++) {
			if (j > 3 * i) continue;

			if (j <= (i - 1) * 3) {
				f[i][j] = (f[i - 1][j] + arr[i].a);

				if (j - 1 >= 0) f[i][j] = min(f[i][j], i, (f[i - 1][j - 1] + arr[i].b), i);
				if (j - 2 >= 0) f[i][j] = min(f[i][j], i, (f[i - 1][j - 2] + arr[i].c), i);
				if (j - 3 >= 0) f[i][j] = min(f[i][j], i, (f[i - 1][j - 3] + 1.0), i);
			}
		}
	}

	printf("%.1lf", f[n][p] / (double)n);

	getchar(); getchar();
	return 0;
}