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