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