<?php
// 12km/L
fscanf(STDIN, "%d", $hours);
fscanf(STDIN, "%d", $speed);
$liters = ($speed * $hours)/12;
printf("%.3f\n", $liters);
?>