15 percent of 85.58 = 12.837