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

import math

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

if R == C:
    print long((R * C + 3) / 4) - 1
else:
    print long((R * C + 1) / 2) - 1