#include <stdio.h>
int main(){
int i[5];
for(i[0] = 1; i[0] <= 3; i[0]++) {
scanf("%d",&i[i[0]]);
}
i[2]+=i[3]/25;i[3]%=25;
i[1]+=i[2]/4;i[2]%=4;
i[4]+=i[1]/10;i[1]%=10;
printf("%d\n",i[1]+i[2]+i[3]);
	return 0;
}