#include <bits/stdc++.h>   int main() {     int i, y, ans, z, b, x[2];     for (i = 0; i < 2; i++) {       scanf( %d , &x[i]);     }     y = x[0] * x[1];     ans = y / 2;     { printf( %d , ans); }     return 0;   }   