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