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