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

if(l >= 25) {
    l = l%25;
    m = m + ~~(l/25)
}

if(m*25 >= 100) {
    n = n + ~~(m*25/100);
    m =(m*25) % 100;
}

if(n*100 >= 1000) {
    n = (n*100) % 1000/100;
}
console.log(l + m + n);