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