TSTP Solution File: ITP250_2 by Nitpick---2016