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