TSTP Solution File: ITP115^1 by Nitpick---2016