TSTP Solution File: SET042-4 by SRASS---0.1