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