#include<bits/stdc++.h>
using namespace std;
int main(){
	double n,max=INT_MIN;
	cin>>n;
	double a[13];
	for(int i=1;i<=12;i++){
		cin>>a[i];
		if(a[i]*n>max){
			max=a[i]*n;
		}
	}
	cout<<fixed<<setprecision(2)<<max;
	return 0;
}