TSTP Solution File: ITP290_1 by Nitpick---2016