9) The zero coupon bonds of JK Industries have a market price of $211.16, a face value of $1,000, and a yield to maturity of 7.39 percent. How many years is it until these bonds mature