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