TSTP Solution File: ITP270_1 by Nitpick---2016