#include<bits/stdc++.h>
  
using namespace std;

int main(){

  int a,b,c;

  cin>>a>>b>>c;

  cout<<a*0.2+c*0.5+b*0.3;

}