fun readInt () =
    valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn)

val () =
    let
        val l = readInt ()
        val m = readInt ()
        val n = readInt ()
        val totalAmountOfCoins = (100 * l + 25 * m + 1 * n) mod 1000
        val numOf100 = totalAmountOfCoins div 100
        val numOf25 = (totalAmountOfCoins - 100 * numOf100) div 25
        val numOf1 = (totalAmountOfCoins - 100 * numOf100 - 25 * numOf25)
        val ans = numOf100 + numOf25 + numOf1
    in
        print (Int.toString ans)
    end