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

def main():
    exchange = [25, 4, 10]
    coins = [0, 0, 0, 0]
    coins[2] = int(input())
    coins[1] = int(input())
    coins[0] = int(input())

    for index in range(0, 3):
        changed = int(coins[index] / exchange[index])
        coins[index] -= changed * exchange[index]
        coins[index + 1] += changed
    
    coins[3] = 0
    print(sum(coins))

if __name__ == '__main__':
    main()