TSTP Solution File: SET039-3 by SRASS---0.1