#include using namespace std; int main() {

int a,h;

cin>>a>>h; cout<<a*h/2; return 0; }