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