#include <stdio.h>

int main(){
  long long a,b,ans;

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

  ans=a*b/2-1+(a%2)*(b%2);

  if(a==b)
    ans=a-1;

  printf("%lld\n",ans);

  return 0;
}