import std.stdio;
import std.conv;
import std.string;
import std.typecons;
import std.algorithm;
import std.array;
import std.range;
import std.math;
import std.regex : regex;
import std.container;
import std.bigint;
import std.ascii;


void main()
{
  int ab, bc, ca;
  readf("%s %s %s\n", &ab, &bc, &ca);
  writeln(ab*bc/2);
}
