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