#include <iostream>
#include <iomanip>
using namespace std;
int main() {
float a,b;
float c;
cin >> a >> b;
c = (a*b)/2;
cout << setprecision(5) << c << endl;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8aW9tYW5pcD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCBtYWluKCkgewoJZmxvYXQgYSxiOwoJZmxvYXQgYzsKCWNpbiA+PiBhID4+IGI7CgljID0gKGEqYikvMjsKCWNvdXQgPDwgc2V0cHJlY2lzaW9uKDUpIDw8ICBjIDw8IGVuZGw7CglyZXR1cm4gMDsKfQ==