TSTP Solution File: ITP237_2 by Nitpick---2016