TSTP Solution File: SEV494^1 by Infinox---1.0