n;main(m){scanf("%d%d",&n,&m);n=!printf("%ld",(1L*n*m>>1+(n==m))-!(n&m&1));}