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