package main

import (
	"bufio"
	"os"
	"strconv"
	"fmt"
)

// 参考 http://yukicoder.me/submissions/9329
var s = bufio.NewScanner(os.Stdin)

func next() string {
	// s.Split(bufio.ScanWords) // 削除: Scan後に呼ぶとPanicになるため
	s.Scan()
	return s.Text()
}

func nextInt() int {
	i, e := strconv.Atoi(next())
	if e != nil {
		panic(e)
	}
	return i
}
func nextLong() int64 {
	i, e := strconv.ParseInt(next(), 10, 64)
	if e != nil {
		panic(e)
	}
	return i
}

func main() {
	// Scan開始前にSplitを設定しないとPanicになるため、ここに移動
	s.Split(bufio.ScanWords)

	R := nextLong()
	C := nextLong()
	ans := int64(0)
	n := R * C

	if R == C {
		ans = n/4+n%4
	}else {
		ans = n/2+n%2
	}
	fmt.Println(ans - 1)
}