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