这就是一道简单的~~公式题 ~~

#include<bits/stdc++.h>
using namespace std;
int main()
{
int n,m;
cin>>n>>m;
cout<<n*m/2<<endl;
return 0;
}