TSTP Solution File: ITP012_7 by Nitpick---2016