RCA made a coupon payment yesterday on its 6.25% bonds that mature in 11.5 years. If the required return on these bonds is 9.2% nominal annual, what should be the market price of these bonds?