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