#include<bits/stdc++.h> using namespace std; int main(){ int a,b; double sum; cin>>a>>b; sum=a*b/2.0; if(int(sum)==sum){ cout<<sum; } else{ cout<<fixed<<setprecision(1)<<sum; } return 0; }