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