杭州市2017年的生产总值达1.25万亿元（全国城市排名第10位），比2012年的2倍少0.3万亿元。该市2012年的生产总值是多少万亿元？（列方程解答）