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