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