# -*- coding: utf-8 -*-

import math

R, C = map(int, raw_input().split())

print long(math.ceil(0.5 * R * C )) - 1