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