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