TSTP Solution File: NUM889_1 by SRASS---0.1