TSTP Solution File: SET504-6 by Mace4---1109a