TSTP Solution File: SET016-7 by Mace4---1109a