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