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