TSTP Solution File: SCT170+2 by Refute---2015