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