80 percent of 15.3 = 12.240000000000002