#include<bits/stdc++.h>
using namespace std;
int main(){
    int a,s,d;
    cin>>a>>s>>d;
    cout<<a*0.2+s*0.3+d*0.5;
	return 0;
}