#include int main(void){ int L,M,N; scanf("%d%d%d",&L,&M,&N); N=N%25; M=M+N/25; M=M%4; L=L+M/4; L=L%10; printf("%d",M+L+N); }