#include <bits/stdc++.h>
#define endl '\n'

using namespace std;

typedef long long ll;

int a, b, c;

int main() {
    cin >> a >> b >> c;
    cout << a * b / 2 << endl;
    return 0;
}