import std.stdio;
import std.string;
import std.conv;
import std.typecons;
import std.algorithm;
import std.functional;
import std.bigint;
import std.numeric;
import std.array;
import std.math;
import std.range;
import std.container;
import std.ascii;
import std.format;

void main()
{
	auto abbcca = readln.split.to!(int[]), ab = abbcca[0], bc = abbcca[1], ca = abbcca[2];
	writeln(ab * bc / 2);
}