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