#include<bits/stdc++.h>
#define int long long
using namespace std;
int32_t main()
{
cin.tie(0);
cout.tie(0);
ios::sync_with_stdio(false);
int t=1;
//cin>>t;
while(t--)
{
int a,b;
cin>>a>>b;
cout<<(a*b)/2;
}
return 0;
}
I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KI2RlZmluZSBpbnQgbG9uZyBsb25nCnVzaW5nIG5hbWVzcGFjZSBzdGQ7CmludDMyX3QgbWFpbigpCnsKICAgIGNpbi50aWUoMCk7CiAgICBjb3V0LnRpZSgwKTsKICAgIGlvczo6c3luY193aXRoX3N0ZGlvKGZhbHNlKTsKICAgIGludCB0PTE7CiAgICAvL2Npbj4+dDsKICAgIHdoaWxlKHQtLSkKICAgIHsKICAgICAgICAgaW50IGEsYjsKICAgICAgICAgY2luPj5hPj5iOwogICAgICAgICBjb3V0PDwoYSpiKS8yOwogICAgfQogICAgcmV0dXJuIDA7Cn0K