TSTP Solution File: NUM908_1 by SInE---0.4