tijie

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