#include #include #include #include #include #include #include using namespace std; typedef long long ll; typedef pair P; #define For(i, a, b) for(int i = (a); i < (b); i++) #define Rep(i, n) For(i, 0, (n)) #define Rrep(i, n) for(int i = (n); i >= 0; i--) #define pb push_back const int inf = 999999999; const int mod = 1000000007; const int dx[4] = {1, 0, -1, 0}, dy[4] = {0, 1, 0, -1}; int dp[2][20000]; int main(){ int n, p; cin >> n >> p; int q[n][4]; Rep(i, n){ cin >> q[i][0] >> q[i][1] >> q[i][2]; q[i][3] = 1; } Rep(i, 2) Rep(j, 20000) dp[i][j] = inf; dp[0][0] = 0; Rep(i, n){ Rep(j, p + 1) Rep(k, 4){ if(j + k <= p){ dp[1][j + k] = min(dp[1][j + k], dp[0][j] + q[i][k]); } } Rep(j, p + 1){ dp[0][j] = dp[1][j]; dp[1][j] = inf; } } double ans = (double)dp[0][p] / (double)n; printf("%.9f\n", ans); return 0; }