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