one_hundred_coin = int(input())
twenty_five_coin = int(input())
one_coin = int(input())

while one_coin >= 25:
    one_coin -= 25
    twenty_five_coin += 1

while twenty_five_coin >= 4:
    twenty_five_coin -= 4
    one_hundred_coin += 1

while one_hundred_coin >= 10:
    one_hundred_coin -= 10

print(one_coin + twenty_five_coin + one_hundred_coin)