TSTP Solution File: SEV494^1 by Bliksem---1.12