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