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