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