TSTP Solution File: SEU748^1 by CARINE---0.734