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