C++ :

#include<bits/stdc++.h>
using namespace std;
double a,b;
int main(){
	cin>>a>>b;
    printf("%.1f",a*b/2);
    return 0;
}