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