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