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