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