#include <stdio.h> int main() { int a, b, c; scanf("%d %d %d", &a, &b, &c); int total = (a * 2 + b * 3 + c * 5) / 10; printf("%d\n", total); return 0; }