#include <stdio.h>
int main() {
  int L, M, N;
  scanf("%d", &L);
  scanf("%d", &M);
  scanf("%d", &N);
  printf("%d\n", N%25 + (M+N/25)%4 + (L+(M+N/25)/4)%10);
}