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