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