#include <stdio.h>

int main(void){
  int l,m,n;
  scanf("%d",&l); scanf("%d",&m); scanf("%d",&n);
  while(n >= 25){
    n -= 25;
    m++;
  }
  while(m >= 4){
    m -= 4;
    l++;
  }
  while(l >= 10){
    l -= 10;
  }
  printf("%d\n",n + m + l);
  return 0;
}