TSTP Solution File: SEU303+2 by CARINE---0.734