TSTP Solution File: NUM258-2 by SRASS---0.1