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