TSTP Solution File: SET863-1 by SRASS---0.1