#include <stdio.h>

int main() 
{
  int a,b;

  float a,b;
  scant("%f",a*b/2);
  scant("%f",a*b/2);

    
}