According to the statistics of scientists, there are 11,500 asteroids in the solar system, the number of comets is the number of asteroids (16/115), and the number of discovered natural satellites is the number of comets (3/80). How many natural satellites have been discovered?
据科学家统计，太阳系有11500颗小行星，彗星的数量是小行星的(16/115)，已发现的天然卫星是彗星数量的(3/80)，已发现天然卫星多少颗？
<gadget id="calculator">16 / 115</gadget>
<output>16/115 = around 0.13913</output>

<gadget id="calculator">3 / 80</gadget>
<output>3/80 = around 0.0375</output>

<gadget id="calculator">11_500 * (16/115) * (3/80)</gadget>
<output>60</output>

<result>60</result>