#include<bits/stdc++.h>
using namespace std;
int main()
{
double A,B,C,a,b,c,d;
cin>>A>>B>>C;
a=A*0.2;
b=B*0.3;
c=C*0.5;
d=a+b+c;
cout<<d<<endl;
return 0;
}
#include<bits/stdc++.h>
using namespace std;
int main()
{
double A,B,C,a,b,c,d;
cin>>A>>B>>C;
a=A*0.2;
b=B*0.3;
c=C*0.5;
d=a+b+c;
cout<<d<<endl;
return 0;
}