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