TSTP Solution File: SET838-2 by Mace4---1109a