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