TSTP Solution File: SET634^5 by Refute---2015