#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define ALL(v) v.begin(),v.end()
typedef long long ll;
 
#include<bits/stdc++.h>
using namespace std;
 
int main(){
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  
  int w,z;
  string b;
  cin>>w>>z>>b;
  int ans=w+z;
  ans/=10;
  if(b=="0.5") ans*=15;
  else if(b=="0.8") ans*=18;
  else if(b=="1.2") ans*=22;
  else if(b=="1.6") ans*=26;
  else ans*=30;
  cout<<ans<<endl;
    
  return 0;
}