A group of 23 friends are at the theater but can't agree on which movie to see. some of the group decides to see lightyear which is playing for $4 per ticket and the rest of the group decides to see jurassic park which is playing for $9 per ticket. altogether the group spends $172, how many of them saw lightyear?