TSTP Solution File: SEV391^5 by Paradox---4.0