Butch, Harry, and Nicky are playing a game. Harry has half as many points as
Butch. Nicky has 5 fewer points than Harry. Together, the three players have 31
points. How many points does Harry have? *YOUR ANSWER SHOULD ONLY
CONTAIN A NUMBER, DO NOT PUT 'POINTS' IN YOUR ANSWER!* *
R