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