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