#include<stdio.h>
int main(){
    int a,b,area,area2;
    scanf("%d%d",&a,&b);
    area=(a*b);
    area2=1/2*area
    printf("%d",area2);
}