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