TSTP Solution File: ITP017+2 by Nitpick---2016