93.5 percent of 20 = 18.700000000000003