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