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