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