TSTP Solution File: SET082+1 by Mace4---1109a