TSTP Solution File: SEV494^1 by Fiesta---2