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