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