TSTP Solution File: SEV494^1 by Paradox---4.0