use std::io::*; fn main() { let mut s: String = String::new(); std::io::stdin().read_to_string(&mut s).ok(); let mut itr = s.trim().split_whitespace(); let x: f64 = itr.next().unwrap().parse().unwrap(); let y: f64 = itr.next().unwrap().parse().unwrap(); let z: f64 = itr.next().unwrap().parse().unwrap(); let _: f64 = itr.next().unwrap().parse().unwrap(); println!("{:.10}", x / 2.0 - y * z / 2.0); }