TSTP Solution File: NUM698^4 by SInE---0.4