Four adults and 5 children go to see a movie and buy $15 worth of concessions. The total cost of their trip is $71. If each child's ticket is $5, how much are the adult tickets?