#include <bits/stdc++.h>

using namespace std;

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

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

int n, D;

void solve()
{
	db sumL = 0;
	db LnaV = 0;
	FOR (i, 0, n)
	{
		db p, l, v;
		cin >> p >> l >> v;
		sumL += l;
		LnaV += 2 * l / v;
	}
	cout << D - sumL + LnaV << '\n';
}

int main()
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	cout << fixed << setprecision(3);
	for (int tc = 1; ; tc++)
	{
		cin >> n >> D;
		if (D == 0)
			break;
		cout << "Case " << tc << ": ";
		solve();
		cout << "\n";
	}
	return 0;
}