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