#include <stdio.h>
int main()
{
  int n,m;double c;
  scanf("%d%d",&n,&m);
  c=n*(m/10.00);
  printf("%.2lf",c);
  return 0;}