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