#include<stdio.h>
#define P 12
int main()
{
double n,m=-9999,a[P];
int i;
scanf("%lf",&n);
for(i=0;i<12;i++){
scanf("%lf",&a[i]);
if(a[i]>m){
m=a[i];
a[i]=a[i+1];
a[i+1]=a[i+2];
}
}
printf("%.2lf",m*n);
}
#include<stdio.h>
#define P 12
int main()
{
double n,m=-9999,a[P];
int i;
scanf("%lf",&n);
for(i=0;i<12;i++){
scanf("%lf",&a[i]);
if(a[i]>m){
m=a[i];
a[i]=a[i+1];
a[i+1]=a[i+2];
}
}
printf("%.2lf",m*n);
}