TSTP Solution File: ITP023_2 by Nitpick---2016