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