#include <algorithm>
#include <cstdio>
#include <iostream>
#include <map>
#include <cmath>
#include <queue>
#include <set>
#include <sstream>
#include <stack>
#include <string>
#include <vector>
#include <stdlib.h>
#include <stdio.h>
#include <bitset>
using namespace std;
#define FOR(I,A,B) for(int I = (A); I < (B); ++I)
typedef long long ll;

int main(){
  ll a, b;
  cin >> a >> b;
  ll ans;
  if(a==b)
  {
    if(a%2==0)
    {
      ans = a * a / 4 - 1;
    }
    else
    {
      ans = (a * b - 1) / 4 + 1 - 1;
    }
  }
  else
  {
    if(a%2==0||b%2==0)
    {
      ans = (a * b / 2) - 1;
    }
    else
    {
      ans = (a * b - 1) / 2 + 1 - 1;
    }
  }
  cout<<ans<<endl;
  return 0;
}