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