TSTP Solution File: NUM209-1 by SInE---0.4