TSTP Solution File: SEU897^5 by SInE---0.4