TSTP Solution File: SEU715^1 by SInE---0.4