#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
#define N 111111
int n,i,j;
double pw,vw[N],pf[N],vf[N],th[N],l,r,m1,m2,ans,res;
double calc(double x){
  res=pw*x;
  for(j=0;j<n;j++) res+=max(0.0,(th[j]-vw[j]*x)*pf[j]/vf[j]);
  ans=min(ans,res);
  return res;
}
int main(){
  while(cin>>n,n){
    cin>>pw;
    for(i=0;i<n;i++) scanf("%lf%lf%lf%lf",vw+i,pf+i,vf+i,th+i);
    l=0,r=1e9,ans=calc(0);
    for(i=0;i<100;i++){
      m1=l+(r-l)/3,m2=l+(r-l)*2/3;
      (calc(m1)>calc(m2))?l=m1:r=m2;
    }
    cout<<ans<<endl;
  }
  return 0;
}