URI 1017 solution

#include <stdio.h>

int main()

 {

     int x,y;

    double t;

    scanf("%d %d",&x,&y);

    t=((x*y)/12.0);

    printf("%.3lf
",t);

    return 0;

}