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