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