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