The municipal water supply company stipulates that each household will be charged 3.2 yuan per ton for water within 10 tons (including 10 tons) per month, and 4.5 yuan per ton for the part exceeding 10 tons. How many tons did the household use in October?
市自来水公司规定：居民每户每月用水10吨以内(含10吨)，每吨按3.2元收费，超过10吨的部分按每吨4.5元收费，某户十月份共交水费72.5元，该户十月份用水多少吨？
<gadget id="calculator">3.2 * 10</gadget>
<output>32</output>

<gadget id="calculator">72.5 - 32</gadget>
<output>40.5</output>

<gadget id="calculator">40.5 / 4.5</gadget>
<output>9</output>

<gadget id="calculator">9 + 10</gadget>
<output>19</output>

<result>19</result>