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