5. At the rodeo, 800 tickets were sold for a total of $26,925. A children's ticket cost $20, an adult ticket cost $40, and a military ticket cost $35. The carnival sold twice as many adult tickets as many tickets were sold for adults, children, and military?​