···
using namespace std;
int main() { long long T, S; scanf(“%lld\n%lld”, &T, &S);
printf("%.3lf", T * S / 12.0); return 0;
} ···