TSTP Solution File: SCT066-1 by Refute---2015