TSTP Solution File: ITP213_2 by Nitpick---2016