ABC公司发行债券，面值1000元，票面利率10%，期限10年。（1）如果债券每年付利息一次，到期一次还本。请问当市场利率为9%时，债券定价应为多少？（2）如果债券每年付利息一次，到期一次还本。请问当市场利率为12%时，债券定价应为多少？（3）如果该债券到期一次还本付息，当市场利率9%时，请问债券定价应为多少？（元）（）