package main

import (
	"fmt"
)

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