import std.stdio;
import std.algorithm;
import std.math;
import std.conv;
import std.string;

int readInt(){
  return readln.chomp.to!int;
}

int[] readInts(){
  return readln.chomp.split.to!(int[]);
}

void main(){
  auto len = readInts().sort();
  int ret = len[0] * len[1] / 2;
  
  writeln(ret);
}