#include<bits/stdc++.h>
using namespace std;
int main(){
    int a,b,c,d=0;
    cin>>a>>b>>c;
    d=a*2+b*3+c*5;
    d=d/10;
    cout<<d<<endl;
    return 0;
}

//用脑子你就输了【鬼脸】【鬼脸】