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 r: usize = itr.next().unwrap().parse().unwrap();
    let c: usize = itr.next().unwrap().parse().unwrap();
    if r == c {
        if r % 2 == 0 {
            println!("{}", r / 2 * r / 2 - 1);
        } else {
            println!("{}", r / 2 * r / 2 + r / 2)
        }
    } else {
        if r % 2 == 0 {
            println!("{}", r / 2 * c - 1);
        } else {
            if c % 2 == 0 {
                println!("{}", c / 2 * r - 1);
            } else {
                println!("{}", c / 2 * r + r / 2);
            }
        }
    }
}