TSTP Solution File: SET584+3 by Mace4---1109a