#include<iostream>
using namespace std;
int main(){
//declaration
int n,m;
//input
cin>>m>>n;
//process and output
cout <<m*n/2<<endl;
return 0;
}
I2luY2x1ZGU8aW9zdHJlYW0+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CmludCBtYWluKCl7CiAgICAvL2RlY2xhcmF0aW9uCiAgICBpbnQgbixtOwogICAgLy9pbnB1dAogICAgY2luPj5tPj5uOwogICAgLy9wcm9jZXNzIGFuZCBvdXRwdXQKICAgIGNvdXQgPDxtKm4vMjw8ZW5kbDsKICAgIHJldHVybiAwOwp9