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