#include<iostream>

using namespace std;

int main(){
	unsigned int a,b,c;
	cin>>a>>b>>c;
	cout<<a*0.2+b*0.3+c*0.5;
	return 0;
}