TSTP Solution File: NUM056-1 by SRASS---0.1