#include <cstdio>

int main(){
  long long a,b;

  scanf("%lld%lld",&a,&b);

  printf("%lld\n",a*b/2-1+(a%2)*(a%2));

  return 0;
}