#include<stdio.h>

int main(void){
    int n,m;
    unsigned int k;
    scanf("%d %d",&n,&m);
    k=0;
    while(n>2 && m>2){
        k=k+4;
        n-=2;
        m-=2;
    }
    if(n==2 && m>=2)
        k=k+2;
    else
        if(m==2 && n>2)
            k=k+3;
    else
        if(m==1 && n>1)
            k++;
    printf("%d",k);
return 0;
}