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