TSTP Solution File: NUM247-2 by SRASS---0.1