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