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