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