美国在2010年2月16日发行了到期日为2020年2月15日的国债，面值10万美元，票面利率为45%。如果芝加哥期货交易所2012年6月15日到期的10年期国债期货的卖方用该国债进行交割，转换因子为0910 5，该国债期货合约交割价为12516。则买方必须支付（）美元。