TSTP Solution File: SEU957^5 by CARINE---0.734