TSTP Solution File: ITP229_2 by Nitpick---2016