TSTP Solution File: ALG079+1 by Nitpick---2016