#include<stdio.h>

int main()
{
  int l,m,n;
  int tmp;
  scanf("%d %d %d",&l,&m,&n);

  //1円硬貨を25円硬貨に変換
  tmp = n/25;
  n -= tmp*25;

  //25円硬貨に桁上りのものを足す
  m += tmp;

  //25円硬貨を100円硬貨に変換
  tmp = m/4;
  m -= tmp*4;

  //100円玉に桁上りのものを足す
  l += tmp;

  //100円硬貨を1000円硬貨に変換
  tmp = l/10;
  l -= tmp*10;

  //硬貨の合計枚数
  printf("%d\n",l+m+n);
  return 0;
}