TSTP Solution File: ITP024+2 by Nitpick---2016