#include <iostream>
using namespace std;
int main() {
// your code goes here
int x,y;
cin>>x>>y;
cout<<x*y/2<<endl;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKSB7CgkvLyB5b3VyIGNvZGUgZ29lcyBoZXJlCglpbnQgeCx5OwoJY2luPj54Pj55OwoJY291dDw8eCp5LzI8PGVuZGw7CglyZXR1cm4gMDsKfQ==