#include <iostream>
using namespace std;
int m,n;
int main(){
cin >> m >> n;
if (m<n) swap(m,n);
cout << (m/2)*n + (m%2)*(n/2);
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCBtLG47CgppbnQgbWFpbigpewoJY2luID4+IG0gPj4gbjsKCWlmIChtPG4pIHN3YXAobSxuKTsKCWNvdXQgPDwgKG0vMikqbiArIChtJTIpKihuLzIpOwoJcmV0dXJuIDA7Cn0=