#include<iostream>
using namespace std;
int main(){
	int n,m,x;
	cin>>n>>m;
	x=n*m/2;
	cout<<x;
	return 0;
}