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