#include #include #include #include #include #include using namespace std; typedef long long LL; int main(){ LL R, C; cin >> R >> C; LL ans = 0; if(R == C){ ans += ((R+1)/2) * ((C+1)/2); }else{ ans += R/2 * C; ans += R%2 * (C/2); ans += R%2 * (C%2); } cout << ans-1 << endl; return 0; }