#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; }