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