TSTP Solution File: ITP007+1 by Nitpick---2016