package main

import (
	"fmt"
)

func main() {
	var r, c int64
	fmt.Scan(&r, &c)
	z := r*c/2 + r*c%2 - 1
	fmt.Println(z)
}