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