1. 求各路神仙级别的大佬指点一下
2. 【磕头磕头】

#include<iostream>
using namespace std;
int main(){
	double a,b;
	cin>>a>>b;
	cout<<a*b/2.0<<endl;		
	return 0;
}