TSTP Solution File: SEU392+1 by CARINE---0.734