11.5 percent of 80 = 9.200000000000001