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