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