main(){double v,t;scanf("%lf%lf",&v,&t);printf("%.0f\n",v*t-.49999);}