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