import std.stdio;
import std.algorithm;
import std.array;
import std.conv;
import std.datetime;
import std.numeric;
import std.math;
import std.string;

string my_readln() { return chomp(readln()); }

void main()
{
	auto tokens = my_readln().split();
	auto A = tokens[0].to!uint;
	auto B = tokens[1].to!uint;
	auto C = tokens[2].to!uint;
	
	writeln(A * B / 2);
	stdout.flush();
}