某地举办演唱会，提前售出将得到实惠价格。按票价类型分为预售价10元/张，优惠价20元/张，正式价40元/张，一共4万张，共花费90万元。其中优惠价的数量是预售价的两倍，求正式价一共卖出了多少张？
10000
12000
12500
15000
