TSTP Solution File: ITP001_3 by Nitpick---2016