TSTP Solution File: ITP095^1 by Nitpick---2016