TSTP Solution File: ITP012^4 by Nitpick---2016