The sand transported from the playground is piled into a cone shape. The circumference of the bottom surface is 12.56 meters, and the height is 12 decimeters. Each cubic meter of sand weighs about 1.7 tons. How many tons does this pile of sand weigh in total?
操场上运来的沙子堆成一个圆锥形，底面周长是12.56米，高是12分米，每立方米沙子约重1.7吨，这堆沙子一共重约多少吨？
<gadget id="calculator">12.56 / 3.14 / 2</gadget>
<output>2</output>

<gadget id="calculator">2 ** 2</gadget>
<output>4</output>

<gadget id="calculator">12 / 10 / 3</gadget>
<output>2/5 = around 0.4</output>

<gadget id="calculator">3.14 * 4 * (2/5)</gadget>
<output>5.024</output>

<gadget id="calculator">1.7 * 5.024</gadget>
<output>8.5408</output>

<result>8.5408</result>