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

import math

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

print long((R * C + 1) / 2) - 1