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