#include <stdio.h>
int main() {
int n, c = 0;
double d, p, l, v, ans;
while (scanf("%d%lf", &n, &d) != EOF, n || d) {
ans = 0;
while (n--) {
scanf("%lf%lf%lf", &p, &l, &v);
ans += 2.0 * l / v;
d -= l;
}
printf("Case %d: %.3lf\n\n", ++c, d + ans);
}
return 0;
}