TSTP Solution File: ITP008_7 by Nitpick---2016