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