TSTP Solution File: ITP032^1 by Nitpick---2016