TSTP Solution File: ALG268^1 by Refute---2015