TSTP Solution File: SEV391^5 by Otter---3.3