75 percent of 9.5 = 7.125