TSTP Solution File: SET647^3 by Mace4---1109a