TSTP Solution File: SCT164+1 by Refute---2015