TSTP Solution File: NUM976_5 by SRASS---0.1