#include <bits/stdc++.h>
using namespace std;
int main()
{
    int n,m;
    cin>>n>>m;
    int plost=n*m;
    if(plost%2==0){
        cout<<plost/2;
    }
    else{
        cout<<(plost- 1)/2;
    }

    return 0;
}