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