#include<stdio.h>

int main(){
    int a, b, c;
    scanf("%d%d%d", &a, &b, &c);
    printf("%d", (a * 3 + b * 2 + c * 5) / 10);
    return 0;
}