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