# coding: utf-8

ct_1000 = 0
ct_100 = int(input())
ct_25 = int(input())
ct_1 = int(input())

ct_25 += ct_1 // 25
ct_1 %= 25

ct_100 += ct_25 // 4
ct_25 %= 4

ct_1000 += ct_100 // 10
ct_100 %= 10

ans = ct_100 + ct_25 + ct_1
print(ans)