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