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