TSTP Solution File: NUM924_4 by SRASS---0.1