TSTP Solution File: NUM816^5 by SRASS---0.1