TSTP Solution File: ITP104^1 by Nitpick---2016