TSTP Solution File: ITP021+4 by Nitpick---2016