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