#!/usr/bin/env python
# -*- coding: utf-8 -*-

r, c = map(int, input().split())
print((r * c - 1) // 4 if r == c else (r * c - 1) // 2)