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