TSTP Solution File: ALG074+1 by Refute---2015