const row = require('fs').readFileSync('/dev/stdin','utf8').split('\n');
let c100 = Number(row[0]);
let c25 = Number(row[1]);
let c1 = Number(row[2]);

c25 += ~~(c1/25);
c1 %= 25;
c100 += ~~(c25/4);
c25 %= 4;
c100 %= 10;

console.log(c1+ c25 + c100);