import std.stdio;
void main() {
ulong r, c;
readf("%d %d\n", &r, &c);
long tmp = r*c;
if(r==c)
writeln(tmp/4+tmp%2-1);
else
writeln(tmp/2+tmp%2-1);
}