#include <stdio.h>

int main (void){
	int l,m,n,t;
	scanf("%d%d%d",&l,&m,&n);
	t = n*0.04; m += t; n -= t*25;
	t = m*0.25; l += t; m -= t*4;
	t = l*0.1; l -= t*10;
	printf("%d\n",l+m+n);
	return(0);
}