#include <bits/stdc++.h>
using namespace std;
signed long long n,m,brojac;
int main(){
    scanf("%lld%lld",&n,&m);
    brojac=0;
    for(int i=1;i<=n;i++){
        if((i==1 or i==n) or (m==1 or m==2))
            brojac+=m;
        else if(i%2==0 or m%2==0)
            brojac+=(m/2)+1;
        else if(i%2==1)
            brojac+=(m/2)+2;
    }
    cout<<brojac<<'\n';
return 0;
}