TSTP Solution File: ITP020+1 by Nitpick---2016