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