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