TSTP Solution File: NUM859_1 by SInE---0.4