TSTP Solution File: ITP214_3 by Nitpick---2016