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