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