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