TSTP Solution File: SET538-6 by SRASS---0.1