#!/usr/bin/python
# -*- coding: utf-8 -*-
# †
# (ΦωΦ)＜
# 実世界にはないそろばんの考え方なので考えづらい。
# 「回転しても同じとみなす」というのは90度, 180度, 270度の回転のこと。
# 180度の回転のことだけではないことに注意。この辺の言及がほしい。
#
# どのセルを「珠がないセル」にするかを決める場合の数はR*C通り。
# 回転しても同じ数を表現する必要があるので2または4で割る必要がある。
# RとCが同じときは正方形なので4で割る。そうでなければ長方形なので2で割る。
#
# R*Cが奇数のとき(RもCも奇数のとき)は、
# 真ん中に珠がないときは回転しても同じ位置に珠がないことになるので
# 数えるときに重複させる必要がある。
R, C = map(int, raw_input().split())
d = 4 if R == C else 2
print (R * C - 1) / d