TSTP Solution File: ALG342-1 by Nitpick---2016