# -*- coding: utf-8 -*-

l, = map(int, raw_input().split())
m, = map(int, raw_input().split())
n, = map(int, raw_input().split())

while n >= 25:
    n -= 25
    m += 1
while m >= 4:
    m -= 4
    l += 1
while l >= 10:
    l -= 10

print l + m + n