fn main() {
	let mut s = String::new();
	std::io::stdin().read_line(&mut s).ok();
	let n: Vec<u64> = s.split_whitespace().flat_map(str::parse).collect();
	println!("{}", 50 * n[0] + 250 * n[0] / (4 + n[1]))
}