#include<stdio.h>
int main(){
	int l,m,n;
	scanf("%d%d%d",&l,&m,&n);
	m+=n/25;
	n%=25;
	l+=m/4;
	m%=4;
	l%=10;
	printf("%d",m+n+l);
	return 0;
}