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