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