TSTP Solution File: SEU412+3 by CARINE---0.734