TSTP Solution File: ITP005_1 by Nitpick---2016