The zero-coupon bonds of ABC Co have a market price of $318.46, a face value of $1,000, and a yield to maturity of 6.69 percent. How many years is it until these bonds mature