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