void main() {
    int[] abc = readln.split.to!(int[]);
    abc.sort!"a < b";
    writeln(abc[0] * abc[1] / 2);
}

import std.stdio;
import std.string;
import std.array;
import std.conv;
import std.algorithm;
import std.range;
import std.math;
import std.container;
import std.typecons;