TSTP Solution File: SET748+4 by Refute---2015