TSTP Solution File: SET864-2 by Refute---2015