#include <cstdio>;
int main(){
int a,b;
scanf("%d%d",&a,&b);
double c=(double)a*b/12;
printf("%.3lf",c);
return 0;}
法二
#include <cstdio>;
int main(){
int a,b;
scanf("%d%d",&a,&b);
printf("%.3lf",(double)a*b/12);
return 0;}
这里需要double转化的原因就是他是个int类型
法三
#include <cstdio>;
int main(){
double a,b;
scanf("%lf%lf",&a,&b);
printf("%.3lf",a*b/12);
return 0;}