TSTP Solution File: SET046+1 by Refute---2015