TSTP Solution File: NUM902_1 by SRASS---0.1