#include<bits/stdc++.h>
using namespace std;
int main()
{
    int A,B,C;
    scanf("%d%d%d",&A,&B,&C);
    printf("%d",A/5+B/10*3+C/2);
    return 0;
}