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