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