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