#include <bits/stdc++.h> using namespace std; int main(){ double h,a; cin>>h>>a; double c=a*h/2*1.0; cout<<c; return 0; }