TSTP Solution File: SEV079^5 by Moca---0.1