TSTP Solution File: ITP207_1 by Nitpick---2016