/*
TASK:socks
LANG:C++
*/
#include<iostream> //Lybomir Ivanov C10
#include<stdio.h>
using namespace std;
int n,k,i,j,a[30];
double ceni[31],sum,minc;
int main()
{
scanf("%d%d",&n,&k);
a[0]=1;
for(i=1;i<=n;i++)
  {
   scanf("%d",&a[i]);
   a[i]*=a[i-1];
  }
scanf("%lf",&ceni[0]);
for(i=1;i<=n;i++)
  scanf("%lf",&ceni[i]);
for(i=n;i>-1;i--)
  {
   if((k%a[i])==k) continue;
   for(j=0;j<k/a[i];j++)
     minc=minc + ceni[i];
   k%=a[i];
   break;
  }
sum=minc;
minc+=ceni[i];
for(i=n-1;i>-1;i--)
  {
   sum+=((double)(k/a[i]))*ceni[i];
   k%=a[i];
   if(minc>sum+ceni[i]) minc=sum+ceni[i];
  }
if(minc>sum) minc=sum;
printf("%.2lf",minc);
return 0;
}
