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