#include<iostream>
using namespace std;

typedef long long ll;

int main(){
    ll r, c;
    cin >> r >> c;

    ll ans = r/2 * c;

    if(r%2 == 1) ans += (c+1)/2;

    cout << (ans-1) << endl;
    
    return 0;
}