TSTP Solution File: ITP211_3 by Nitpick---2016