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