#include<stdio.h> int main(){ int n,m; scanf("%d %d",&n,&m); int sum=(m/2)*n; if(m%21&&n%21) { sum+=n/2+1;

} else if(m%21&&n%20) { sum+=n/2;

} printf("%d",sum); }