#include <bits/stdc++.h>   int main() {     int n, m;     while (scanf( %d %d , &n, &m) != EOF) {       if (n * m < 2) {         printf( 0 n );       } else {         printf( %d n , n * m / 2);       }     }   }   