#include<bits/stdc++.h> using namespace std; int main(){ double m,n; double ans; cin>>m>>n; ans=m*n/2; printf("%.2lf",ans); return 0; }