TSTP Solution File: SET638+3 by Mace4---1109a