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