TSTP Solution File: ITP060^2 by Nitpick---2016