TSTP Solution File: NUM957_5 by SRASS---0.1