TSTP Solution File: ITP022_7 by Nitpick---2016