use std::io::{self, BufReader, BufWriter, Read, Write};

fn main() {
    let stdin = io::stdin();
    let mut stdin = BufReader::new(stdin.lock());
    let stdout = io::stdout();
    let mut stdout = BufWriter::new(stdout.lock());

    let mut l = read_u32(&mut stdin);
    let mut m = read_u32(&mut stdin);
    let mut n = read_u32(&mut stdin);

    m += n / 25;
    n %= 25;
    l += m / 4;
    m %= 4;
    l %= 10;

    writeln!(&mut stdout, "{}", l + m + n).unwrap();
}

fn read_u32<R: Read>(reader: &mut R) -> u32 {
    reader
        .bytes()
        .filter_map(|b| b.ok())
        .skip_while(|b| b.is_ascii_whitespace())
        .take_while(|b| !b.is_ascii_whitespace())
        .map(|b| (b - 48) as u32)
        .fold(0, |acc, x| acc * 10 + x)
}