Tickets for a play cost $3 for children and $10 for adults. A group of 25 people paid a total of $201 for tickets to the play. how many children were there in a group?

(please show work)