TSTP Solution File: ITP005+2 by Nitpick---2016