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