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