#include <bits/stdc++.h>
using namespace std;
double price[10] = {28.9 , 32.7 , 45.6 , 78 , 35 , 86.2 , 27.8 , 43 , 56 , 65};
int main(){
   double ans = 0;
   int num;
   for(int i = 0; i < 10; i++){
      cin >> num;
      ans = ans + price[i] * num;
   }
   printf("%.1f",ans);
   
      
   

   
  





   return 0;
}